toolbox/edit-user-email.sh

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