setup
;;
- 'update-users'|'update-user'|'u')
+ 'update-users'|'update-user'|'update'|'u')
source "${MASHAREDIR}/setup"
setup
source "${MASHAREDIR}/update_users"
update_users "$@"
;;
- 'refresh-keys'|'r')
+ 'refresh-keys'|'refresh'|'r')
source "${MASHAREDIR}/setup"
setup
gpg_sphere "--keyserver $KEYSERVER --refresh-keys"
gpg_sphere "$@"
;;
- 'version'|'v')
+ 'version'|'--version'|'v')
version
;;