> So, assuming a non-venti server: when removing users from the fossil > filesystem, there's no effective difference whether I do so by manually > editing /adm/users versus fscons: users -r/-w [file] ? > > I'm just slowly trying to accumulate "best practices" for my documentation > efforts.
personally, i'd shy away from recommendiations on removing users, since it might not be appropriate for all system setups. anyway, if you edit /adm/users, you may have to tell the fs about what you've done. - erik