[udisks] moving shared mounts from /media to /run/media ?

Ivan Lezhnjov Jr. ivan.lezhnjov.jr at gmail.com
Tue Mar 5 06:46:22 PST 2013


This commit was rather stealthy, but anyway thank you David!

I really do believe it's a change that great many users will find empowering.

Ivan

On Feb 19, 2013, at 11:49 PM, David Zeuthen <zeuthen at gmail.com> wrote:

> Hi,
> 
> Yeah, please open a bug for this in bugzilla. Thanks.
> 
> Thanks,
> David
> 
> On Tue, Feb 19, 2013 at 9:11 AM, Tom Gundersen <teg at jklm.no> wrote:
>> Hi David,
>> 
>> I noticed your commit "Introduce UDISKS_FILESYSTEM_SHARED=1 to use
>> /media for mounting". The feature makes sense in my opinion. However,
>> I wonder if it would be even better to keep this in /run/media (or
>> possibly in a subfolder to avoid name-clashes).
>> 
>> With the move from udisks1 to udisks2 we ditched /media from Arch, and
>> it would be nice not to have to reintroduce it. Mainly to keep the
>> rootfs simple, but also to avoid encouraging misuse of /media, to let
>> udisks mantain the /run/media folder itself, and it might also make
>> sense to make sure that shared mounts and private mounts are mounted
>> on the same kind of fs.
>> 
>> If you are open to the idea I'll post a patch.
>> 
>> Cheers,
>> 
>> Tom
> _______________________________________________
> devkit-devel mailing list
> devkit-devel at lists.freedesktop.org
> http://lists.freedesktop.org/mailman/listinfo/devkit-devel



More information about the devkit-devel mailing list