uninstall.py

changeset 4559
5af0cda900b3
parent 4021
195a471c327b
child 4561
5bc6ed226471
--- a/uninstall.py	Fri Nov 13 23:07:16 2015 +0100
+++ b/uninstall.py	Sat Nov 14 14:38:17 2015 +0100
@@ -192,6 +192,10 @@
                                ]:
                 if os.path.exists(bundlePath):
                     shutil.rmtree(bundlePath)
+        
+        # TODO: ask to delete all plug-ins
+        # TODO: ask to delete configuration
+        print("\nUninstallation completed")
     except (IOError, OSError) as msg:
         sys.stderr.write(
             'Error: {0}\nTry uninstall with admin rights.\n'.format(msg))

eric ide

mercurial