tools/uninstall.sh

   1 #!/bin/sh
   2 #
   3 # Uninstall data or executable file.
   4 #
   5 # Usage: $0 dest
   6 #
   7 # Copyright (c) 2015 Jonas Fonseca <jonas.fonseca@gmail.com>
   8 #
   9 # This program is free software; you can redistribute it and/or
  10 # modify it under the terms of the GNU General Public License as
  11 # published by the Free Software Foundation; either version 2 of
  12 # the License, or (at your option) any later version.
  13 #
  14 # This program is distributed in the hope that it will be useful,
  15 # but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 # GNU General Public License for more details.
  18
  19 set -e
  20
  21 file="$1"
  22 dir="$(dirname "$file")"
  23
  24 if [ -d "$file" -a "$dir" = "tig" ]; then
  25         rm -rf "$file"
  26 elif [ -f "$file" ]; then
  27         rm -f "$file"
  28 fi
  29
  30 if [ -d "$dir" ]; then
  31         set +e
  32         rmdir -p "$dir" 2>/dev/null
  33 fi
  34
  35 echo "$file"