Re: HAL and "managed" /etc/fstab option

2005-12-10 Thread Alexander E. Patrakov
Jürg Billeter wrote: util-linux added support for the comment keyword some versions ago. So I just replace "managed" by "comment=managed" in 10-storage-policy.fdi and that seems to work fine. Confirmed here: fstab entries are correctly deleted upon device removal if I use the following lines

Re: HAL and "managed" /etc/fstab option

2005-12-10 Thread Jürg Billeter
On Sam, 2005-12-10 at 02:51 -0600, Randy McMurchy wrote: > Alexander E. Patrakov wrote these words on 12/10/05 02:15 CST: > > > Sorry. My fault. That's because I restarted the HAL daemon many times > > investigating how to add the proper "iocharset" option to the > > autocreated fstab entries. >

Re: HAL and "managed" /etc/fstab option

2005-12-10 Thread Randy McMurchy
Alexander E. Patrakov wrote these words on 12/10/05 02:15 CST: > Sorry. My fault. That's because I restarted the HAL daemon many times > investigating how to add the proper "iocharset" option to the > autocreated fstab entries. Well, I would like to continue this thread until it is determined t

Re: HAL and "managed" /etc/fstab option

2005-12-10 Thread Alexander E. Patrakov
Randy McMurchy wrote: Alexander E. Patrakov wrote these words on 12/10/05 01:43 CST: HAL instructions in BLFS have the following bug here (however, with HAL updated to 0.5.5.1): directories under /media "leak". I.e., if I plug and unplug my USB flash drive several times, /media/usbdisk{1,

Re: HAL and "managed" /etc/fstab option

2005-12-10 Thread Randy McMurchy
Alexander E. Patrakov wrote these words on 12/10/05 01:43 CST: > HAL instructions in BLFS have the following bug here (however, with HAL > updated to 0.5.5.1): directories under /media "leak". I.e., if I plug > and unplug my USB flash drive several times, > /media/usbdisk{1,2,3,4,5,6,7,8,...} a

HAL and "managed" /etc/fstab option

2005-12-09 Thread Alexander E. Patrakov
Hello, HAL instructions in BLFS have the following bug here (however, with HAL updated to 0.5.5.1): directories under /media "leak". I.e., if I plug and unplug my USB flash drive several times, /media/usbdisk{1,2,3,4,5,6,7,8,...} are created. I think (but I may be wrong, I am not a HAL exper