Michael Stone <mstone@debian.org> writes: [/var/.../mtab] > So how does one update mtab when /var is unmounted? You're right, I shot myself in the foot, there. So, since no better location springs to mind, and /etc is long-standing tradition, one may as well keep them there. /proc/mounts is not that usable, I'm afraid. -- Robbe