eric5_plugininstall.py

changeset 3034
7ce719013078
parent 2992
dbdf27746da5
child 3060
5883ce99ee12
child 3160
209a07d7e401
equal deleted inserted replaced
3033:58fe260e7469 3034:7ce719013078
39 39
40 def main(): 40 def main():
41 """ 41 """
42 Main entry point into the application. 42 Main entry point into the application.
43 """ 43 """
44 options = [\ 44 options = [
45 ("--config=configDir", 45 ("--config=configDir",
46 "use the given directory as the one containing the config files"), 46 "use the given directory as the one containing the config files"),
47 ("", "names of plugins to install") 47 ("", "names of plugins to install")
48 ] 48 ]
49 appinfo = AppInfo.makeAppInfo(sys.argv, 49 appinfo = AppInfo.makeAppInfo(sys.argv,

eric ide

mercurial