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 <zeut...@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 <t...@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@lists.freedesktop.org > http://lists.freedesktop.org/mailman/listinfo/devkit-devel _______________________________________________ devkit-devel mailing list devkit-devel@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/devkit-devel
