delorie.com/archives/browse.cgi   search  
Mail Archives: cygwin/2002/09/27/10:13:07

Mailing-List: contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT cygwin DOT com>
List-Help: <mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs>
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 <rbcollins AT cygwin DOT com>
To: "Richardson, Tony" <ar63 AT evansville DOT edu>
Cc: cygwin AT cygwin DOT com
In-Reply-To:
<FBAA835302BB614E9D5B54EBEA335DCB6F9A36 AT uemail02 DOT evansville DOT edu>
References: <FBAA835302BB614E9D5B54EBEA335DCB6F9A36 AT uemail02 DOT evansville DOT edu>
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--

- Raw text -


  webmaster     delorie software   privacy  
  Copyright © 2019   by DJ Delorie     Updated Jul 2019