[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Get rid of /etc/mtab ?

On Sun, Jul 28, 2002 at 10:08:47AM +0200, Goswin Brederlow wrote:
> devfs, I would like to have /dev/root there to stop df from adding

Maybe what you really need is a version of df that has an option that
truncates the length of the first column.

eg. df doesn't really need to display /dev at the start of very device,
ethis is normally the default.

Other stuff could be removed to, depending on the size of your screen,
and the size of the device name.

As for the problem that the first column would no longer be "correct",
well "/dev/root" isn't really correct either. However this fixes the
problem in the tool which has the problem, and doesn't try to work
around the problem by "loosing" information in /dev/mtab.
Brian May <bam@debian.org>

To UNSUBSCRIBE, email to debian-devel-request@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org

Reply to: