Basil Chupin said the following on 03/17/2013 07:08 PM:
On 17/03/13 16:44, Andrey Borzenkov wrote:
� Sun, 17 Mar 2013 16:16:18 +1100 Basil Chupin
�����: In another thread I mentioned that when I switch on my external 2TB USB WD HDD, Dolphin accesses it and displays its contents to me; but then when I go to use mc (Midnight Commander) this device is no longer mounted in /media as it has been in past many years but now is found in /var/run/media/<username>/<devicename> [in this case the volume name is WD].
Quite by accident a few minutes ago ('cause I am having another hassle, to be describe later) I discovered that the device is ALSO mounted in 'run/media/<username>/<device>'.
/run and /var/run refer to exactly the same filesystem. You can consider them aliases.
Thanks for this bit of information.
I didn't know that. But is this something which has only happened now because of the change of where the device(s) are mounted or has this always been this way (ie /run/media/.....) being a "copy" of the mounting point?
Methinks they are the same inode by different names: $ ls -lid /var/run /run 2370 drwxr-xr-x 24 root root 760 Mar 17 17:51 /run 2370 drwxr-xr-x 24 root root 760 Mar 17 17:51 /var/run And a tmpfs at that! See man (5) tmpfiles.d man (8) systemd-tmpfiles The mount point depending on which desktop manager you use seems like lunacy to me; at the very least it should be a system configuration parameter. At worst something in udev or udisks rules .. Oh, wait ..... -- This is not a novel to be tossed aside lightly. It should be thrown with great force. -- Dorothy Parker -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org