--- a/eric5_plugininstall.py Sat Oct 19 12:28:12 2013 +0200 +++ b/eric5_plugininstall.py Sat Oct 19 13:03:39 2013 +0200 @@ -41,7 +41,7 @@ """ Main entry point into the application. """ - options = [\ + options = [ ("--config=configDir", "use the given directory as the one containing the config files"), ("", "names of plugins to install")