[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