Comment tester si un chemin donné est un point de montage ?

Question

Supposons que vous voulez tester si /mnt/disk est un point de montage dans un script shell. Comment faites-vous cela ?

Answer 1

Je découvre que sur mon Fedora 7, il existe une commande mountpoint.

De man mountpoint :

NAME
       mountpoint - see if a directory is a mountpoint

SYNOPSIS
       /bin/mountpoint [-q] [-d] /path/to/directory
       /bin/mountpoint -x /dev/device

Apparemment, elle est fournie avec le paquet sysvinit, je ne sais pas si cette commande est disponible sur d'autres systèmes.

[root@myhost~]# rpm -qf $(which mountpoint)
sysvinit-2.86-17

Answer 2

Ne pas s'appuyer sur mount , /etc/mtab , /proc/mounts etc :

if [ `stat -c%d "$dir"` != `stat -c%d "$dir/.."` ]; then
    echo "$dir is mounted"
else
    echo "$dir is not mounted"
fi

Quand $dir est un point de montage, il a un numéro de périphérique différent de celui de son répertoire parent.

L'avantage par rapport aux alternatives listées jusqu'à présent est que vous n'avez pas à analyser quoi que ce soit, et qu'il fait la bonne chose si dir=/some//path/../with///extra/components .

L'inconvénient est qu'il ne marque pas / comme point de montage. Eh bien, c'est assez facile de faire un cas spécial, mais quand même.

Answer 3

Utilisation de GNU find

find <directory> -maxdepth 0 -printf "%D" 

donnera le numéro de périphérique du répertoire. S'il diffère entre le répertoire et son parent, vous avez un point de montage.

Ajoutez /. au nom du répertoire si vous souhaitez que les liens symboliques vers différents systèmes de fichiers soient fichiers différents (vous le voudrez toujours pour le parent).

Inconvénients : utilise GNU find donc moins portable

Avantages : Signale les points de montage non enregistrés dans /etc/mtab.

Answer 4

Malheureusement, mountpoint et stat auront tous deux pour effet secondaire de MONTAGE le répertoire que vous testez si vous utilisez automount. Ou du moins, c'est le cas pour moi sur Debian en utilisant auto cifs sur un disque WD MyBookLive en réseau. Je me suis retrouvé avec une variante du /proc/mounts rendue plus complexe car chaque POTENTIEL mount est déjà dans /proc/mounts même s'il n'est pas réellement monté !

cut -d ' ' -f 1 < /proc/mounts | grep -q '^//disk/Public$' && umount /tmp/cifs/disk/Public

Where
   'disk' is the name of the server (networked disk) in /etc/hosts.
   '//disk/Public' is the cifs share name
   '/tmp/cifs' is where my automounts go (I have /tmp as RAM disk and / is read-only)
   '/tmp/cifs/disk' is a normal directory created when the server (called 'disk') is live.
   '/tmp/cifs/disk/Public' is the mount point for my 'Public' share.

Answer 5

if mount | cut -d ' ' -f 3 | grep '^/mnt/disk$' > /dev/null ; then
   ...
fi

EDIT : J'ai utilisé l'idée de Bombe pour utiliser la coupe.