/media -> /run/media???

Nico Kadel-Garcia nkadel at gmail.com
Mon Aug 18 01:42:58 UTC 2014


On Sun, Aug 17, 2014 at 9:12 PM, Robert Nichols
<rnicholsNOSPAM at comcast.net> wrote:

> The media would not get scrubbed since it is not yet mounted at that
> point in the boot sequence. What _does_ get scrubbed is any leftover
> /run/media/$USER directories and the temporary mount points they
> contain, which is arguably preferable to allowing that cruft to
> accumulate in /media.

Good luck with that. In a world where udisk2 was the only thing that
mounted in /run/media/$user/medianame directories, that could be maybe
relied on. But it's reliant on well behaved applications to follow a
standard overlaid on top of a misreading of the file system hierarchy

As soon as someone else follows the _practice_ of mounting things in
/run/media, and doesn't follow the extra and underdocumented
requirements of protecting /run/media/$username, you're in trouble.

Sorry, it was an unnecessary change from day one. /media was already
specified for just such removable media uses.


More information about the devel mailing list