Roland McGrath <roland@frob.com> writes: > You were just talking about device numbers on device files, which is st_rdev. > I hope you are not confusing st_dev and st_rdev. Ah, I was jumping to conclusions again: saw that st_dev and st_rdev were both 0 for /dev/hd0s1 and thought neither was used... > On the Hurd, st_dev is also called st_fsid. By convention, filesystem > servers use their PID as the st_fsid value for all their files. All makes sense now, /dev/hd0s1 just had st_dev==0 because it was on the root partition. I was thinking about implementing something that kept /var/run/mtab up to date. One idea is to let it at a simple file that fs-like translators could voluntarily update - but that's moderately ugly. More elegant IMO would be a translator sitting there (or wherever). ext2fs and friends would still need to provide it with the info, of course ... so how do they get the connection to the mtab-server? How does sush get a port to the passwd server? Through a well-known path? -- Robbe
Attachment:
signature.ng
Description: PGP signature