toolbox/update-all-config.pl: quiet means quiet
[girocco.git] / toolbox / edit-user-email.sh
blobd5eee719ab5a200b0c6675201f7183e6b026e889
1 #!/bin/sh
3 set -e
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"