[9fans] A question on fossil

[9fans] A question on fossil

[Kenji Arisawa]

Hello,
I have a question on /adm/users of fossil.
It seems that the first field of /adm/users of fossil is same as the
second field.
I don't know whether it must be same or not.
If it must be same, why did you make the format so redundant?
If it must not be same, what is the intent of usage?

Kenji Arisawa

Re: [9fans] A question on fossil

[Charles Forsyth]

[-- Attachment #1: Type: text/plain, Size: 494 bytes --]

see fossilcons(8).  here's an extract:

          ... The user table records a mapping
          between uids and unames, as well as recording the leader and
          members of each group.  A uid is a string naming a user or
          group and stored in the on-disk data structures.  A uname is
          the string naming a user or group and used in 9P protocol
          messages.  There is a distinction so that unames can be
          safely reused, even though uids cannot.  ...

[-- Attachment #2: Type: message/rfc822, Size: 1818 bytes --]

From: Kenji Arisawa <arisawa@ar.aichi-u.ac.jp>
To: 9fans@cse.psu.edu
Subject: [9fans] A question on fossil
Date: Thu, 6 Feb 2003 21:36:36 +0900
Message-ID: <A1B93454-39CF-11D7-968A-000393A941BC@ar.aichi-u.ac.jp>

Hello,
I have a question on /adm/users of fossil.
It seems that the first field of /adm/users of fossil is same as the
second field.
I don't know whether it must be same or not.
If it must be same, why did you make the format so redundant?
If it must not be same, what is the intent of usage?

Kenji Arisawa

Re: [9fans] A question on fossil

[Russ Cox]

[-- Attachment #1: Type: text/plain, Size: 1254 bytes --]

you mean see fossilcons(8):

          Uname manipulates entries in the user table.  There is no
          distinction between users and groups: a user is a group with
          one member.  For each user, the user table records:

          id   the string used to represent this user in the on-disk
               structures

          name the string used to represent this user in the 9P proto-
               col

          leader
               the group's leader (see stat(5) for a description of
               the special privileges held by a group leader)

          members
               a comma-separated list of members in this group

          The id and name are usually the same string, but need not
          be.  Once an id is used in file system structures archived
          to Venti, it is impossible to change those disk structures,
          and thus impossible to rename the id. The translation from
          name to id allows the appearance of renaming the user even
          though the on-disk structures still record the old name.
          (In a conventional Unix file system, the id is stored as a
          small integer rather than a string.)  Leader and members are
          names, not ids.

[-- Attachment #2: Type: message/rfc822, Size: 3953 bytes --]

[-- Attachment #2.1.1: Type: text/plain, Size: 494 bytes --]

see fossilcons(8).  here's an extract:

          ... The user table records a mapping
          between uids and unames, as well as recording the leader and
          members of each group.  A uid is a string naming a user or
          group and stored in the on-disk data structures.  A uname is
          the string naming a user or group and used in 9P protocol
          messages.  There is a distinction so that unames can be
          safely reused, even though uids cannot.  ...

[-- Attachment #2.1.2: Type: message/rfc822, Size: 1818 bytes --]

From: Kenji Arisawa <arisawa@ar.aichi-u.ac.jp>
To: 9fans@cse.psu.edu
Subject: [9fans] A question on fossil
Date: Thu, 6 Feb 2003 21:36:36 +0900
Message-ID: <A1B93454-39CF-11D7-968A-000393A941BC@ar.aichi-u.ac.jp>

Hello,
I have a question on /adm/users of fossil.
It seems that the first field of /adm/users of fossil is same as the
second field.
I don't know whether it must be same or not.
If it must be same, why did you make the format so redundant?
If it must not be same, what is the intent of usage?

Kenji Arisawa