Hello,
martin f krafft wrote:
> Package: pmount
> Version: 0.9.19-1
> Severity: minor
>
> + pumount
> /dev/disk/by-id/usb-WD_10EACS_External_57442D574341553438393238333532-0:0
> umount: /dev/mapper/_dev_sdc: not mounted
> Error: umount failed
I'm unsure how this situation can arise: in principle, you mount a
device using pmount and unmount it using pumount. As a consequence, it
shouldn't get unmounted before the call to pumount, shouldn't it ? Or
did I miss something ?
Cheers,
Vincent
--
Vincent Fourmond, Debian Developer
http://vince-debian.blogspot.com/
I have always wished for my computer to be as easy to use as my
telephone; my wish has come true because I can no longer figure out
how to use my telephone.
-- Bjarne Stroustrup
Vincent, not listening to anything for now
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
