diff options
Diffstat (limited to 'media-sound/jokosher/files/jokosher-0.11.1-update-database.patch')
| -rw-r--r-- | media-sound/jokosher/files/jokosher-0.11.1-update-database.patch | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/media-sound/jokosher/files/jokosher-0.11.1-update-database.patch b/media-sound/jokosher/files/jokosher-0.11.1-update-database.patch new file mode 100644 index 000000000000..287765b04fc5 --- /dev/null +++ b/media-sound/jokosher/files/jokosher-0.11.1-update-database.patch @@ -0,0 +1,31 @@ +diff -ur jokosher-0.11.1.orig/setup.py jokosher-0.11.1/setup.py +--- jokosher-0.11.1.orig/setup.py 2009-03-17 05:19:23.000000000 +0200 ++++ jokosher-0.11.1/setup.py 2009-05-12 09:43:39.000000000 +0300 +@@ -93,27 +93,6 @@ + call(["scrollkeeper-preinstall", HELPURI[fileNum], + installedOmfFiles[fileNum], installedOmfFiles[fileNum]]) + +- #Update the scrollkeeper catalog +- if os.geteuid() == 0: +- print "Updating the scrollkeeper index..." +- call(["scrollkeeper-update", "-o", installroot + omfdir]) +- +-# Update the mime types +-if os.geteuid() == 0 and dist != None: +- print "Updating the mime-types...." +- +- #update the mimetypes database +- try: +- call(["update-mime-database", "/usr/share/mime/"]) +- except: +- pass +- +- #update the .desktop file database +- try: +- call(["update-desktop-database"]) +- except: +- pass +- + print "\nInstallation finished! You can now run Jokosher by typing 'jokosher' or through your applications menu icon." + + ## To uninstall manually delete these files/folders: |