3 users \- file server user list format
5 The permanent file servers each maintain a private list of users
9 Each line in the file has the format
11 .IB id : name : leader :\fImembers\fP
17 are printable strings excluding the characters
27 is a comma-separated list of such strings.
28 Such a line defines a user and a group with the given
30 the group has a group leader given by
32 and group members given by the user names in
37 in which case any group member is a group leader.
48 in a line is an identifier used in the on-disk structures maintained
49 by a file server; there should be no duplicate
52 In older Plan 9 file servers,
54 are small decimal numbers.
58 is special: a user with a negative
60 cannot attach to the file server.
63 itself is owned by user
65 and write protected to others,
66 so it can only be changed via console commands.