Rinma
/
Tough_Crowd
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix missing directories to remove when uninstalling

This commit is contained in:
Romain Failliot 2020-06-20 19:02:48 -04:00
parent c05670c288
commit 236a8dbcd1
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
install.py
View File

@ -252,7 +252,17 @@ processTranslations(install, os.path.join(destdir, prefix[1:]))
if not install: if not install:
# remove directories we own # 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:]) d = os.path.join(destdir, os.path.join(prefix, s)[1:])
try: try:
os.rmdir(d) os.rmdir(d)