eric6/eric6_plugininstall.py

changeset 7960
e8fc383322f7
parent 7923
91e843545d9a
child 8143
2c730d5fd177
equal deleted inserted replaced
7959:44e15eda6506 7960:e8fc383322f7
3 3
4 # Copyright (c) 2007 - 2021 Detlev Offenbach <detlev@die-offenbachs.de> 4 # Copyright (c) 2007 - 2021 Detlev Offenbach <detlev@die-offenbachs.de>
5 # 5 #
6 6
7 """ 7 """
8 Eric6 Plugin Installer. 8 eric Plugin Installer.
9 9
10 This is the main Python script to install eric6 plugins from outside of the 10 This is the main Python script to install eric plugins from outside of the
11 IDE. 11 IDE.
12 """ 12 """
13 13
14 import sys 14 import sys
15 import os 15 import os
60 ("--settings=settingsDir", 60 ("--settings=settingsDir",
61 "use the given directory to store the settings files"), 61 "use the given directory to store the settings files"),
62 ("", "names of plugins to install") 62 ("", "names of plugins to install")
63 ] 63 ]
64 appinfo = AppInfo.makeAppInfo(sys.argv, 64 appinfo = AppInfo.makeAppInfo(sys.argv,
65 "Eric6 Plugin Installer", 65 "eric Plugin Installer",
66 "", 66 "",
67 "Plugin installation utility for eric6", 67 "Plugin installation utility for eric",
68 options) 68 options)
69 res = Startup.simpleAppStartup(sys.argv, 69 res = Startup.simpleAppStartup(sys.argv,
70 appinfo, 70 appinfo,
71 createMainWidget) 71 createMainWidget)
72 sys.exit(res) 72 sys.exit(res)

eric ide

mercurial