toolbox/remove-user.sh

   1 #!/bin/sh
   2
   3 set -e
   4
   5 if [ $# -ne 1 ] || [ -z "$1" ]; then
   6         echo "Usage: $0 <username>"
   7         exit 1
   8 fi
   9 echo "Redirecting to usertool.pl..."
  10 exec @basedir@/toolbox/usertool.pl remove "$1"