#!/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