On Mon, Mar 14, 2005 at 09:29:18PM +0100, Martin Pitt wrote: > A Mennucc [2005-03-14 11:36 +0100]: > > currently the usage of pmount is as > > $ pmount /dev/sda1 usbdisk > > $ pumount /dev/sda1 > > > > I would like to also be able to do > > $ pmount /dev/sda1 usbdisk > > $ pumount usbdisk > > Well, pumount /media/usbdisk already works.
So currently the 'pmount' and 'pumount' syntaxes are asymmetric, as follows $ pmount /dev/sda1 /media/usbdisk Error: '/' must not occur in label name $ pmount /dev/sda1 usbdisk (ok) $ pumount usbdisk Error: could not determine real path of the device: No such file or directory $ pumount /media/usbdisk (ok) ? this is quite weird ! > I think this could be > enhanced by trying to unmount /media/foo if "pumount foo" is given, > the current directory does not contain "foo" and "foo" does not > contain any slash. > > How does this sound? perfectly fine. Also , by symmetry, you should accept $ pmount /dev/sda1 /media/usbdisk as a valid syntax a. -- Andrea Mennucc "Ukn ow,Ifina llyfixe dmysp acebar.ohwh atthef"
signature.asc
Description: Digital signature
