users – file server user list format
The permanent file servers each maintain a private list of users
and groups, in
Each line in the file has the format
are printable strings excluding the characters
is a comma-separated list of such strings.
Such a line defines a user and a group with the given
the group has a group leader given by
and group members given by the user names in
field may be empty,
in which case any group member is a group leader.
field may be empty.
Lines beginning with
in a line is an identifier used in the on-disk structures maintained
by a file server; there should be no duplicate
in the file.
In older Plan 9 file servers,
are small decimal numbers.
is special: a user with a negative
cannot attach to the file server.
itself is owned by user
and write protected to others,
so it can only be changed via console commands.