From 236a8dbcd1e2e7340d10e4af7a499c6ff3f2be3a Mon Sep 17 00:00:00 2001 From: Romain Failliot Date: Sat, 20 Jun 2020 19:02:48 -0400 Subject: [PATCH] Fix missing directories to remove when uninstalling --- install.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/install.py b/install.py index 46ce777..fe5deca 100755 --- a/install.py +++ b/install.py @@ -252,7 +252,17 @@ processTranslations(install, os.path.join(destdir, prefix[1:])) if not install: # remove directories we own - for s in 'share/omf/diffuse', 'share/gnome/help/diffuse/C', 'share/gnome/help/diffuse/ru', 'share/gnome/help/diffuse', 'share/diffuse/syntax', 'share/diffuse': + dirs_to_remove = [ + 'share/omf/diffuse', + 'share/gnome/help/diffuse/C', + 'share/gnome/help/diffuse/cs', + 'share/gnome/help/diffuse/it', + 'share/gnome/help/diffuse/ru', + 'share/gnome/help/diffuse', + 'share/diffuse/syntax', + 'share/diffuse' + ] + for s in dirs_to_remove: d = os.path.join(destdir, os.path.join(prefix, s)[1:]) try: os.rmdir(d)