| #!/bin/bash |
| # |
| # Copyright 2008-2011 Free Software Foundation, Inc. |
| # |
| # This file is part of GNU Radio |
| # |
| # GNU Radio is free software; you can redistribute it and/or modify |
| # it under the terms of the GNU General Public License as published by |
| # the Free Software Foundation; either version 3, or (at your option) |
| # any later version. |
| # |
| # GNU Radio is distributed in the hope that it will be useful, |
| # but WITHOUT ANY WARRANTY; without even the implied warranty of |
| # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| # GNU General Public License for more details. |
| # |
| # You should have received a copy of the GNU General Public License |
| # along with GNU Radio; see the file COPYING. If not, write to |
| # the Free Software Foundation, Inc., 51 Franklin Street, |
| # Boston, MA 02110-1301, USA. |
| # |
| ################################################## |
| # setup grc on a freedesktop platform |
| # $1 should be install or uninstall |
| # $2 is the optional path to the files |
| # when $2 is unspecified, the path is: |
| # @SRCDIR@ |
| ################################################## |
| |
| if [ -n "$2" ]; then |
| SRCDIR="$2" |
| else |
| SRCDIR="@SRCDIR@" |
| fi |
| |
| case "$1" in |
| 'install') |
| echo "Begin freedesktop install..." |
| echo "Install menu items" |
| xdg-desktop-menu install ${SRCDIR}/*.desktop |
| echo "Done!" |
| echo "" |
| ;; |
| 'uninstall') |
| echo "Begin freedesktop uninstall..." |
| echo "Uninstall menu items" |
| xdg-desktop-menu uninstall `ls ${SRCDIR}/*.desktop | xargs -n1 basename` |
| echo "Done!" |
| echo "" |
| ;; |
| *) |
| echo "Usage: $0 [install|uninstall]" |
| ;; |
| esac |