RE: Checking mount points

2002-09-27 Thread Robert Collins
On Sat, 2002-09-28 at 00:56, Richardson, Tony wrote: > Any suggestions on how to do it? > > "mount /home/$USER" returns "not enough arguments" and I haven't found a > -check option to mount. mount | grep /home/$USER if empty, not mounted if not empty, the win32 path that is mounted there. Rob

RE: Checking mount points

2002-09-27 Thread Richardson, Tony
> From: Robert Collins [mailto:[EMAIL PROTECTED]] > 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

Re: Checking mount points

2002-09-27 Thread Robert Collins
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

Checking mount points

2002-09-27 Thread Richardson, Tony
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 /h