The other day I learned about a new command that I wish I’d known about years ago: mountpoint
I’ve done all kinds of things grepping /proc/mounts (or the output from ‘mount’) in the past to try to determine whether a directory is a mountpoint or not, and there was a simple command for it all along.
$ mount /dev/sdb2 on / type ext4 (rw,relatime,discard,errors=remount-ro) /dev/sda2 on /home type ext4 (rw,relatime) /dev/sdd1 on /media/external type ext4 (rw) $ mountpoint /home /home is a mountpoint $ mountpoint /home/antisol /home/antisol is not a mountpoint $ umount /media/external $ mountpoint /media/external || echo "Dammit" /media/external is not a mountpoint Dammit # A Better Example: $ mountpoint -q /some/dir || echo -e "\n** Setting up bind mount, sudo password may be required **\n" && sudo mount --bind /src/dir/ /some/dir