uninstall.py

changeset 3621
15f23ed3f216
parent 3597
137370f7114b
child 3670
f0cb7579c0b4
child 3695
8b52ec5f40e4
diff -r 2c8d96d47cda -r 15f23ed3f216 uninstall.py
--- a/uninstall.py	Fri May 30 13:17:20 2014 +0200
+++ b/uninstall.py	Fri May 30 15:16:40 2014 +0200
@@ -154,10 +154,10 @@
                 os.remove(f)
         
         # Cleanup the install directories
-        for name in ['ericExamplesDir', 'ericDocDir', 'ericDTDDir', 'ericCSSDir',
-                     'ericIconDir', 'ericPixDir', 'ericTemplatesDir',
-                     'ericCodeTemplatesDir', 'ericOthersDir', 'ericStylesDir',
-                     'ericDir']:
+        for name in ['ericExamplesDir', 'ericDocDir', 'ericDTDDir',
+                     'ericCSSDir', 'ericIconDir', 'ericPixDir',
+                     'ericTemplatesDir', 'ericCodeTemplatesDir',
+                     'ericOthersDir', 'ericStylesDir', 'ericDir']:
             dirpath = getConfig(name)
             if os.path.exists(dirpath):
                 shutil.rmtree(dirpath, True)

eric ide

mercurial