# 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>"
- echo $(id --real --user "${1}")
+ echo $(id --real --user "${1}" 2>/dev/null)
}
sys-user_getname() {