Messages in this thread | | | Date | Wed, 20 Jun 2007 23:41:35 +0100 | From | "Dr. David Alan Gilbert" <> | Subject | Re: Adding subroot information to /proc/mounts, or obtaining that through other means |
| |
* Karel Zak (kzak@redhat.com) wrote: > On Wed, Jun 20, 2007 at 01:57:33PM -0700, H. Peter Anvin wrote: > >
<snip>
> > ... or, alternatively, add a subfield to the first field (which would > > entail escaping whatever separator we choose): > > > > /dev/md6 /export ext3 rw,data=ordered 0 0 > > /dev/md6:/users/foo /home/foo ext3 rw,data=ordered 0 0 > > /dev/md6:/users/bar /home/bar ext3 rw,data=ordered 0 0 > > We needn't a new separator (':') there already is one (' ').
What happens with the (sick) case of spaces in directory names? Also is it really nicely defined that there is no way to put a space in an option in any of the filesystems? I suppose someone particularly sick could have a device node in a directory with a space in it. It would be nice if new formats for this are being defined to make it cover everything.
Dave -- -----Open up your eyes, open up your mind, open up your code ------- / Dr. David Alan Gilbert | Running GNU/Linux on Alpha,68K| Happy \ \ gro.gilbert @ treblig.org | MIPS,x86,ARM,SPARC,PPC & HPPA | In Hex / \ _________________________|_____ http://www.treblig.org |_______/ - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |