eric5-configure.py

changeset 896
f855351d5e98
parent 894
eab7b8d39807
child 897
3dcaa3195a64
--- a/eric5-configure.py	Wed Feb 16 19:13:20 2011 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,64 +0,0 @@
-#!/usr/bin/env python3
-# -*- coding: utf-8 -*-
-
-# Copyright (c) 2006 - 2011 Detlev Offenbach <detlev@die-offenbachs.de>
-#
-
-"""
-Eric5 Configure
-
-This is the main Python script to configure the eric5 IDE from the outside.
-"""
-
-import sys
-import os
-
-for arg in sys.argv:
-    if arg.startswith("--config="):
-        import Utilities
-        configDir = arg.replace("--config=", "")
-        Utilities.setConfigDir(configDir)
-        sys.argv.remove(arg)
-        break
-
-# make ThirdParty package available as a packages repository
-try:
-    import pygments     # __IGNORE_WARNING__
-except ImportError:
-    sys.path.insert(2, os.path.join(os.path.dirname(__file__), "ThirdParty", "Pygments"))
-
-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 Preferences.ConfigurationDialog import ConfigurationWindow
-    w = ConfigurationWindow()
-    w.show()
-    w.showConfigurationPageByName("empty")
-    return w
-
-def main():
-    """
-    Main entry point into the application.
-    """
-    options = [\
-        ("--config=configDir", 
-         "use the given directory as the one containing the config files"), 
-    ]
-    appinfo = Startup.makeAppInfo(sys.argv,
-                                  "Eric5 Configure",
-                                  "",
-                                  "Configuration editor for eric5",
-                                  options)
-    res = Startup.simpleAppStartup(sys.argv,
-                                   appinfo,
-                                   createMainWidget)
-    sys.exit(res)
-
-if __name__ == '__main__':
-    main()

eric ide

mercurial