git.gag.com Git - debian/gnuradio/blob - grc/freedesktop/grc_setup_freedesktop.in

   1 #!/bin/bash
   2 ##################################################
   3 # setup grc on a freedesktop platform
   4 # $1 should be install or uninstall
   5 # $2 is the optional path to the files
   6 # when $2 is unspecified, the path is:
   7 # @SRCDIR@
   8 ##################################################
   9
  10 ICON_SIZES="32 48 64 128 256"
  11 if [ -n "$2" ]; then
  12         SRCDIR="$2"
  13 else
  14         SRCDIR="@SRCDIR@"
  15 fi
  16
  17 case "$1" in
  18 'install')
  19         echo "Begin freedesktop install..."
  20         for size in ${ICON_SIZES}; do \
  21                 echo "Install icon: ${size}x${size}"
  22                 xdg-icon-resource install --context mimetypes --theme gnome --size ${size} ${SRCDIR}/grc-icon-${size}.png application-gnuradio-grc; \
  23                 xdg-icon-resource install --context mimetypes --size ${size} ${SRCDIR}/grc-icon-${size}.png application-gnuradio-grc; \
  24                 xdg-icon-resource install --context apps --theme gnome --size ${size} ${SRCDIR}/grc-icon-${size}.png gnuradio-grc; \
  25                 xdg-icon-resource install --context apps --size ${size} ${SRCDIR}/grc-icon-${size}.png gnuradio-grc; \
  26         done
  27         echo "Install mime type"
  28         xdg-mime install ${SRCDIR}/gnuradio-grc.xml
  29         echo "Install menu items"
  30         xdg-desktop-menu install ${SRCDIR}/gnuradio-grc.desktop
  31         xdg-desktop-menu install ${SRCDIR}/gnuradio-usrp_diagnostics.desktop
  32         echo "Done!"
  33         echo ""
  34         ;;
  35 'uninstall')
  36         echo "Begin freedesktop uninstall..."
  37         for size in ${ICON_SIZES}; do \
  38                 echo "Uninstall icon: ${size}x${size}"
  39                 xdg-icon-resource uninstall --context mimetypes --theme gnome --size ${size} application-gnuradio-grc; \
  40                 xdg-icon-resource uninstall --context mimetypes --size ${size} application-gnuradio-grc; \
  41                 xdg-icon-resource uninstall --context apps --theme gnome --size ${size} gnuradio-grc; \
  42                 xdg-icon-resource uninstall --context apps --size ${size} gnuradio-grc; \
  43         done
  44         echo "Uninstall mime type"
  45         xdg-mime uninstall ${SRCDIR}/gnuradio-grc.xml
  46         echo "Uninstall menu items"
  47         xdg-desktop-menu uninstall gnuradio-grc.desktop
  48         xdg-desktop-menu uninstall gnuradio-usrp_diagnostics.desktop
  49         echo "Done!"
  50         echo ""
  51         ;;
  52 *)
  53         echo "Usage: $0 [install|uninstall]"
  54         ;;
  55 esac