users – file server user list format|
The permanent file servers each maintain a private list of users
and groups, in /adm/users by convention. Each line in the file
has the format|
Lines beginning with # are ignored.
The id in a line is an identifier used in the on–disk structures
maintained by a file server; there should be no duplicate ids
in the file. In older Plan 9 file servers, ids are small decimal
numbers. In those, a negative id is special: a user with a negative
id cannot attach to the file server. The file /adm/users itself
owned by user adm and write protected to others, so it can only
be changed via console commands.