eric5_plugininstall.py

changeset 896
f855351d5e98
parent 791
9ec2ac20e54e
child 945
8cd4d08fa9f6
child 1510
e75ecf2bd9dd
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/eric5_plugininstall.py	Sat Feb 19 11:58:27 2011 +0100
@@ -0,0 +1,55 @@
+#!/usr/bin/env python3
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2007 - 2011 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Eric5 Plugin Installer
+
+This is the main Python script to install eric5 plugins from outside of the IDE.
+"""
+
+import sys
+
+for arg in sys.argv:
+    if arg.startswith("--config="):
+        import Utilities
+        configDir = arg.replace("--config=", "")
+        Utilities.setConfigDir(configDir)
+        sys.argv.remove(arg)
+        break
+
+from Utilities import Startup
+
+def createMainWidget(argv):
+    """
+    Function to create the main widget.
+    
+    @param argv list of commandline parameters (list of strings)
+    @return reference to the main widget (QWidget)
+    """
+    from PluginManager.PluginInstallDialog import PluginInstallWindow
+    return PluginInstallWindow(argv[1:])
+
+def main():
+    """
+    Main entry point into the application.
+    """
+    options = [\
+        ("--config=configDir", 
+         "use the given directory as the one containing the config files"), 
+        ("", "names of plugins to install")
+    ]
+    appinfo = Startup.makeAppInfo(sys.argv,
+                                  "Eric5 Plugin Installer",
+                                  "",
+                                  "Plugin installation utility for eric5",
+                                  options)
+    res = Startup.simpleAppStartup(sys.argv,
+                                   appinfo,
+                                   createMainWidget)
+    sys.exit(res)
+
+if __name__ == '__main__':
+    main()

eric ide

mercurial