Suppose do you want test if /mnt/disk is a mount point in a shell script. How do you do this?
I discover that on my Fedora 7 there is a mountpoint command.
From man mountpoint:
NAME mountpoint - see if a directory is a mountpoint SYNOPSIS /bin/mountpoint [-q] [-d] /path/to/directory /bin/mountpoint -x /dev/device
Apparently it come with the sysvinit package, I don't know if this command is available on other systems.
[root@myhost~]# rpm -qf $(which mountpoint) sysvinit-2.86-17
Not relying on
if [ `stat -c%d "$dir"` != `stat -c%d "$dir/.."` ]; then echo "$dir is mounted" else echo "$dir is not mounted" fi
$dir is a mount point, it has a different device number than its parent directory.
The benefit over the alternatives listed so far is that you don't have to parse anything, and it does the right thing if
The downside is that it doesn't mark
/ as a mountpoint. Well, that's easy enough to special-case, but still.