diff options
| author | Stefan Bruns <stefan.bruens@rwth-aachen.de> | 2009-12-08 13:22:34 -0500 |
|---|---|---|
| committer | Philip Balister <philip@opensdr.com> | 2009-12-08 13:22:34 -0500 |
| commit | e3b1b9107725127eff1a51e5026a27367ee9d6d1 (patch) | |
| tree | 9a57c136e9cf90a0eb7c42ed3cca351fd1a2bcc3 /grc/freedesktop | |
| parent | 8117311ec5d89d170b38383e6510ff8455e86cac (diff) | |
Small patch to speedup installation of freedesktop icons.
The attached patch changes the icon installation to update the icon cache only
once instead of once per icon
Diffstat (limited to 'grc/freedesktop')
| -rw-r--r-- | grc/freedesktop/grc_setup_freedesktop.in | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/grc/freedesktop/grc_setup_freedesktop.in b/grc/freedesktop/grc_setup_freedesktop.in index 33fc4e1ac6..db65064524 100644 --- a/grc/freedesktop/grc_setup_freedesktop.in +++ b/grc/freedesktop/grc_setup_freedesktop.in @@ -20,11 +20,12 @@ case "$1" in echo "Begin freedesktop install..." for size in ${ICON_SIZES}; do \ echo "Install icon: ${size}x${size}" - xdg-icon-resource install --context mimetypes --theme gnome --size ${size} ${SRCDIR}/grc-icon-${size}.png application-gnuradio-grc; \ - xdg-icon-resource install --context mimetypes --size ${size} ${SRCDIR}/grc-icon-${size}.png application-gnuradio-grc; \ - xdg-icon-resource install --context apps --theme gnome --size ${size} ${SRCDIR}/grc-icon-${size}.png gnuradio-grc; \ - xdg-icon-resource install --context apps --size ${size} ${SRCDIR}/grc-icon-${size}.png gnuradio-grc; \ + xdg-icon-resource install --noupdate --context mimetypes --theme gnome --size ${size} ${SRCDIR}/grc-icon-${size}.png application-gnuradio-grc; \ + xdg-icon-resource install --noupdate --context mimetypes --size ${size} ${SRCDIR}/grc-icon-${size}.png application-gnuradio-grc; \ + xdg-icon-resource install --noupdate --context apps --theme gnome --size ${size} ${SRCDIR}/grc-icon-${size}.png gnuradio-grc; \ + xdg-icon-resource install --noupdate --context apps --size ${size} ${SRCDIR}/grc-icon-${size}.png gnuradio-grc; \ done + xdg-icon-resource forceupdate echo "Install mime type" xdg-mime install ${SRCDIR}/gnuradio-grc.xml echo "Install menu items" |