On Sat, 2002-09-28 at 00:07, Richardson, Tony wrote: > What is the easiest way to check if /home/$USER (or some other > directory) has been mounted (either system-wide or user-only)? I know > that I can use regtool (checking both the system and user keys) or parse > the output from "mount", but I was hoping for something as simple as > typing "isitmounted /home/$USER" and have the unknown isitmounted > command return an appropriate exit status. > > I'm trying to write startup scripts so that mount points get set > automatically when running cygwin from a network share (but I don't to > override /home/$USER if that already exists.) > 'mount' should do it.
Cheers, Rob -- --- GPG key available at: http://users.bigpond.net.au/robertc/keys.txt. ---
signature.asc
Description: This is a digitally signed message part
