The UID can be supplied instead of a username.
Signed-off-by: Tobias Stoeckmann <tobias@stoeckmann.org>
static void __attribute__((__noreturn__)) usage(void)
{
fputs(USAGE_HEADER, stdout);
- printf(_(" %s [-p] [-s <shell>] [-h <host>] [-H] [[-f] <username>]\n"), program_invocation_short_name);
+ printf(_(" %s [-p] [-s <shell>] [-h <host>] [-H] [[-f] <username|UID>]\n"), program_invocation_short_name);
fputs(USAGE_SEPARATOR, stdout);
fputs(_("Begin a session on the system.\n"), stdout);