eric5-pluginrepository.py

changeset 18
3b1f5d872fd7
parent 15
f6ccc31d6e72
child 97
c4086afea02b
equal deleted inserted replaced
17:edde1fe80b3e 18:3b1f5d872fd7
3 3
4 # Copyright (c) 2007 - 2010 Detlev Offenbach <detlev@die-offenbachs.de> 4 # Copyright (c) 2007 - 2010 Detlev Offenbach <detlev@die-offenbachs.de>
5 # 5 #
6 6
7 """ 7 """
8 Eric4 Plugin Installer 8 Eric5 Plugin Installer
9 9
10 This is the main Python script to install eric5 plugins from outside of the IDE. 10 This is the main Python script to install eric5 plugins from outside of the IDE.
11 """ 11 """
12 12
13 import sys 13 import sys
40 options = [\ 40 options = [\
41 ("--config=configDir", 41 ("--config=configDir",
42 "use the given directory as the one containing the config files"), 42 "use the given directory as the one containing the config files"),
43 ] 43 ]
44 appinfo = Startup.makeAppInfo(sys.argv, 44 appinfo = Startup.makeAppInfo(sys.argv,
45 "Eric4 Plugin Repository", 45 "Eric5 Plugin Repository",
46 "", 46 "",
47 "Utility to show the contents of the eric5" 47 "Utility to show the contents of the eric5"
48 " Plugin repository.", 48 " Plugin repository.",
49 options) 49 options)
50 res = Startup.simpleAppStartup(sys.argv, 50 res = Startup.simpleAppStartup(sys.argv,

eric ide

mercurial