On Fri, 18 Oct 2013 22:50, Felix Miata <mrmazda@...> wrote:
On 2013-10-18 21:28 (GMT+0200) Jan Engelhardt composed:
Felix Miata wrote:
On 2013-10-18 20:00 (GMT+0200) Dimstar / Dominique Leuenberger composed:
...USB (a Corsair stick) I cannot see it anywhere when I start mc - the stick does not show up in /media nor anywhere else I looked. So where is it hiding?!
should be in /var/run/media/<username>
"Should"? Why? That's just as bad or maybe worse than \Documents and Settings\blah. Why not just /media/<DEVLABEL> as before?
Because if two users attempt to mount two devices with the same devlabel, then...*bang*.
A system capable of determining to put a device in /var/run/media/<username> is surely capable of appending [2,3,*] or <username> or bus## if and when another device with an identical label is being mounted to a different USB bus ID. /var/run/ is not a place where mere mortal users should be looking for anything, much less files on a stick just plugged. If <username> is going to be part of the mountpoint name, why not /home/<username>/media/<label>?
+1 for this idea, interim solution: crate a link in the form: "ln -s /var/run/media/$USER /home/$USER/media" That would at least show what a (inexperienced) user expects, and can be done NOW, without upstream hassle. Idea for a place for this solution would be the (xdg-)tool that handles the 'User Desktop Directory Name Translation' (e.g. for German: Documents -> Dokumente, Public -> Öffentlich) - Yamaban.