cmd/navymail-sh-setup

   1 # common stuff for shell commands
   2 # Based on git/git-sh-setup.sh
   3
   4 die() {
   5         echo >&2 "$*"
   6         exit 1
   7 }
   8
   9
  10 # usage
  11 dashless=$(basename "$0" | sed -e 's/-/ /')
  12 usage() {
  13         die "Usage: $dashless $USAGE"
  14 }
  15
  16 if [ -z "$LONG_USAGE" ]
  17 then
  18         LONG_USAGE="Usage: $dashless $USAGE"
  19 else
  20         LONG_USAGE="Usage: $dashless $USAGE
  21
  22 $LONG_USAGE"
  23 fi
  24
  25
  26 # process common options
  27 while test $# != 0
  28 do
  29         case "$1" in
  30                 -h|--help)
  31                         echo "$LONG_USAGE"
  32                         exit
  33                         ;;
  34                 --navymail-dir=*)
  35                         export NAVYMAIL_DIR="${1#*=}"
  36                         ;;
  37                 *)
  38                         break
  39                         ;;
  40         esac
  41         shift
  42 done
  43
  44
  45 # by default require a db to work on
  46 if test -z "$NONNAVYMAIL_OK"
  47 then
  48         test -z "$NAVYMAIL_DIR" && die "What is you navymail db?"
  49 fi
  50
  51
  52 # run git in navymail store
  53 rungit() {
  54         git --git-dir="$NAVYMAIL_DIR" "$@"
  55 }