Hi Vincent,
Could you be a bit more precise, please ? Which is the mount point of
the devices ? Are they removable ? What does
pumount -d device
tell you ?
This is what happens when I connect a USB flash drive:
$ ls /media/
total 36K
drwxr-xr-x 3 root root 44 2009-01-06 15:25 .
drwxr-xr-x 20 root root 4.0K 2009-01-01 15:50 ..
-rw-r--r-- 6 root root 0 2008-12-14 21:27 .keep_sys-apps_hal-0
drwxrwx--- 2 root plugdev 16K 1970-01-01 10:00 TDK2
$ pumount /media/TDK2/
Error: device /dev/sdd1 was not mounted by you
$ pumount -d /media/TDK2/
checking whether /media/TDK2/ is a mounted directory
resolved mount point /media/TDK2/ to device /dev/sdd1
resolved /dev/sdd1 to device /dev/sdd1
Checking for device '/dev/sdd1' in '/etc/fstab'
Checking for device '/dev/sdd1' in '/etc/mtab'
Error: device /dev/sdd1 was not mounted by you
$ groups
lp wheel audio cdrom video games usb users portage webusers tv wireshark
vboxusers plugdev
$ ls /usr/bin/pumount
-rws--x--- 1 root plugdev 31K 2008-12-07 10:07 /usr/bin/pumount
Seeing as I'm in the plugdev group, and the mountpoint is owned by plugdev,
it'd be great if I could unmount it. Alternatively the if the SGID bit was
set on pumount maybe then whoever is in the same group as /usr/sbin/pumount
could be allowed to unmount pmounted folders?
Hope this explains things a bit better.
Cheers,
Adam.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
