On Tue, Mar 13, 2018 at 07:51:32AM -0700, Mike McClain wrote:
> Thank you Richard.
> I suspect $(grep /south40/docs/ /proc/mounts) would be faster than
But that would be wrong, because it would incorrectly return "true"
if you have something mounted at /south40/docs/subdir or /media/south40/docs/
(or if there is a device that contains the string "/south40/docs/"
somewhere in its name, etc.).
Use the mountpoint command instead. This is why it exists. (Use the
-q option in a shell script to suppress the human-readable output.)