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: [email protected] |
#---------------------------------------------------------#
signature.asc
Description: PGP signature
-- GLLUG mailing list [email protected] https://mailman.lug.org.uk/mailman/listinfo/gllug
