diff options
| author | hollywoodb <hollywoodb@fastmail.fm> | 2010-05-11 22:26:07 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackbuilds.org> | 2010-05-11 22:26:07 +0200 |
| commit | 95000f4ee6c324205dd513766d544764ce948cf8 (patch) | |
| tree | 0888c4c7eaf4a9cc95a68c499ef1f5d232e0a760 /office/kile/doinst.sh | |
| parent | 1fc042e865a2f391083806dd0f6e7c74e73c2f6c (diff) | |
office/kile: Updated for version 2.0.2
Diffstat (limited to 'office/kile/doinst.sh')
| -rw-r--r-- | office/kile/doinst.sh | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/office/kile/doinst.sh b/office/kile/doinst.sh index 55d469fb0d..92421f23d2 100644 --- a/office/kile/doinst.sh +++ b/office/kile/doinst.sh @@ -1,4 +1,12 @@ -if [ -x usr/bin/update-desktop-database ]; then - usr/bin/update-desktop-database -q usr/share/applications +# Update the desktop menu database +if [ -x /usr/bin/update-desktop-database ]; then + /usr/bin/update-desktop-database -q usr/share/applications fi -
\ No newline at end of file + +# Update icon cache if one exists +if [ -r usr/share/icons/hicolor/icon-theme.cache ]; then + if [ -x /usr/bin/gtk-update-icon-cache ]; then + /usr/bin/gtk-update-icon-cache -t -f usr/share/icons/hicolor >/dev/null 2>&1 + fi +fi + |