[GLLUG] /mnt and /media/$USER and Ubuntu

[John Edwards]

Hi

On Thu, Nov 14, 2024 at 09:11:27PM +0000, Andrew Black via GLLUG wrote:
> WHt is the difference between */mnt *and */media/$USER*
> My assumption is /mnt is for files mounted via fstab or manually whilst
> /media is for ones that mount automatically when plugged in.

Pretty much. I think /mnt is for temporary mounts: 
       https://en.wikipedia.org/wiki/Filesystem_Hierarchy_Standard

Some Linux distributions seems to assume that /mnt is the only mount
point, while others use subdirectories (eg /mnt/cdrom, etc).

I've generally found that /media tends to be more managed by the OS
for automatic mounts, where /mnt is left to the local admin.

Except that systemd (boo! hiss!) has (or had) a nasty habit of
interfering with mounts (if you edited /etc/fstab without reloading
systemd) and quietly unmounted things just after you mounted them.

Although I've not seen that bug recently, and the related Debian bug
report suggests it is fixed:
	https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797326
	https://github.com/systemd/systemd/issues/1378



-- 
#---------------------------------------------------------#
|    John Edwards   Email: john at cornerstonelinux.co.uk    |
#---------------------------------------------------------#
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <http://mailman.lug.org.uk/pipermail/gllug/attachments/20241114/02c0e5c5/attachment.sig>