23 Nov
2012
23 Nov
'12
8:48 a.m.
On 22 November 2012 21:53, Tom Gundersen <teg@jklm.no> wrote:
I suggest that we move /media from the filesystem to the udisks package, allowing everyone else to do what they wish locally.
Good suggestion. I have stuff in /media, and those are not "dynamic". They are internal partitions which must mount every boot. I wouldn't want anything touching them. Mounting devices dynamically to some other place is not a problem. -- GPG/PGP ID: C0711BF1