diff --git a/development/highlight/doinst.sh b/development/highlight/doinst.sh index 686b2a1f0a..29442be229 100644 --- a/development/highlight/doinst.sh +++ b/development/highlight/doinst.sh @@ -12,3 +12,13 @@ config() { } config etc/highlight/filetypes.conf.new + +if [ -x /usr/bin/update-desktop-database ]; then + /usr/bin/update-desktop-database -q usr/share/applications >/dev/null 2>&1 +fi + +if [ -e usr/share/icons/hicolor/icon-theme.cache ]; then + if [ -x /usr/bin/gtk-update-icon-cache ]; then + /usr/bin/gtk-update-icon-cache -f usr/share/icons/hicolor >/dev/null 2>&1 + fi +fi diff --git a/development/highlight/highlight.SlackBuild b/development/highlight/highlight.SlackBuild index b2265784f0..8cba0db42c 100644 --- a/development/highlight/highlight.SlackBuild +++ b/development/highlight/highlight.SlackBuild @@ -66,7 +66,7 @@ find -L . \ -o -perm 440 -o -perm 400 \) -exec chmod 644 {} \; make cli gui -make install install-gui DESTDIR=$PKG +make -j1 install install-gui DESTDIR=$PKG find $PKG | xargs file | grep -e "executable" -e "shared object" | grep ELF \ | cut -f 1 -d : | xargs strip --strip-unneeded 2> /dev/null