# Output the real UID of the given user, or the empty string if the
# user does not exist on the system.
[[ $# -eq 1 ]] || die "usage: sys-user_getuid <username>"
# Output the real UID of the given user, or the empty string if the
# user does not exist on the system.
[[ $# -eq 1 ]] || die "usage: sys-user_getuid <username>"