Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm List-Subscribe: List-Archive: List-Post: List-Help: , Sender: cygwin-owner AT cygwin DOT com Mail-Followup-To: cygwin AT cygwin DOT com Delivered-To: mailing list cygwin AT cygwin DOT com Subject: Re: Checking mount points From: Robert Collins To: "Richardson, Tony" Cc: cygwin AT cygwin DOT com In-Reply-To: References: Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="=-Wpj4B2rH+5jHh0kbRkci" Date: 28 Sep 2002 00:13:29 +1000 Message-Id: <1033136009.24358.279.camel@lifelesswks> Mime-Version: 1.0 --=-Wpj4B2rH+5jHh0kbRkci Content-Type: text/plain Content-Transfer-Encoding: quoted-printable 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. >=20 > 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 --=20 --- GPG key available at: http://users.bigpond.net.au/robertc/keys.txt. --- --=-Wpj4B2rH+5jHh0kbRkci Content-Type: application/pgp-signature; name=signature.asc Content-Description: This is a digitally signed message part -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (GNU/Linux) iD8DBQA9lGeII5+kQ8LJcoIRAnHDAJ4qc2YsIMmusrwmoUTgzROdP6BAoACgkaM3 vTMfkz3XgnH5SU43wguFhyg= =mW/N -----END PGP SIGNATURE----- --=-Wpj4B2rH+5jHh0kbRkci--