# 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>"
# This UID is already taken by another user, but this
# specific UID was not important (we checked in
# pkg_pretend), so fall back to an arbitrary one.
# This UID is already taken by another user, but this
# specific UID was not important (we checked in
# pkg_pretend), so fall back to an arbitrary one.