Quel est le meilleur moyen de vérifier si un volume est monté dans un script Bash?

Quel est le meilleur moyen de vérifier si un volume est monté dans un script Bash?

Ce que j'aimerais vraiment, c'est une méthode que je peux utiliser comme ceci:

if <something is mounted at /mnt/foo> 
then
   <Do some stuff>
else
   <Do some different stuff>
fi

Évitez d'utiliser /etc/mtabparce que cela peut être incohérent.

Évitez les tuyaux mountcar ils ne doivent pas nécessairement être compliqués.

Simplement:

if grep -qs '/mnt/foo ' /proc/mounts; then
    echo "It's mounted."
else
    echo "It's not mounted."
fi

(L'espace après le /mnt/fooest d'éviter de faire correspondre par exemple /mnt/foo-bar.)

if mountpoint -q /mnt/foo 
then
   echo "mounted"
else
   echo "not mounted"
fi

ou

mountpoint -q /mnt/foo && echo "mounted" || echo "not mounted"

findmnt -rno SOURCE,TARGET "$1"évite tous les problèmes dans les autres réponses. Il fait proprement le travail avec une seule commande.

D'autres approches ont ces inconvénients:

• grep -qet grep -ssont une étape supplémentaire inutile et ne sont pas pris en charge partout.
• /proc/\* n'est pas supporté partout.
• mountinfo est basé sur / proc / ..
• cut -f3 -d' ' gâche les espaces dans les noms de chemins
• L'analyse de l' espace blanc de mount pose problème. C'est la page de manuel qui dit maintenant:

Le mode liste est maintenu pour la compatibilité ascendante uniquement.

Pour une sortie plus robuste et personnalisable, utilisez findmnt (8), en particulier dans vos scripts.

Fonctions Bash:

#These functions return exit codes: 0 = found, 1 = not found

isMounted    () { findmnt -rno SOURCE,TARGET "$1" >/dev/null;} #path or device
isDevMounted () { findmnt -rno SOURCE        "$1" >/dev/null;} #device only
isPathMounted() { findmnt -rno        TARGET "$1" >/dev/null;} #path   only

#where: -r = --raw, -n = --noheadings, -o = --output

Exemples d'utilisation:

if isPathMounted "/mnt/foo bar";      #Spaces in path names are ok.
   then echo "path is mounted"
   else echo "path is not mounted"
fi

if isDevMounted "/dev/sdb4"; 
   then echo "device is mounted"
   else echo "device is not mounted"
fi

#Universal:
if isMounted "/mnt/foo bar"; 
   then echo "device is mounted"
   else echo "device is not mounted"
fi

if isMounted "/dev/sdb4";
   then echo "device is mounted"
   else echo "device is not mounted"
fi

Un script comme celui-ci ne sera jamais portable. Un sale secret sous Unix est que seul le noyau sait quels systèmes de fichiers se trouvent où et, à part des choses comme / proc (non portable), il ne vous donnera jamais de réponse directe.

J'utilise généralement df pour découvrir le point de montage d'un sous-répertoire et son système de fichiers.

Par exemple (nécessite un shell posix comme cendres / AT & T ksh / bash / etc)

case $(df  $mount)
in
  $(df  /)) echo $mount is not mounted ;;
  *) echo $mount has a non-root filesystem mounted on it ;;
esac

Kinda vous dit des informations utiles.

Voici ce que j'utilise dans l'un de mes travaux cron de sauvegarde rsync. il vérifie si / backup est monté et essaie de le monter s'il ne l'est pas (cela peut échouer car le lecteur se trouve dans une baie remplaçable à chaud et peut même ne pas être présent dans le système)

NOTE: Ce qui suit ne marche que sur linux, car il contient greps / proc / mounts - une version plus portable exécutera 'mount | grep / backup ', comme dans la réponse de Matthew ..

  si ! grep -q / backup / proc / mounts; ensuite
    si ! monter / sauvegarder; ensuite
      echo "échoué"
      sortie 1
    Fi
  Fi
  echo "réussi"
  # faire des choses ici

Comme pour monter, vous devez de toute façon avoir un répertoire, qui est monté dessus, ma stratégie a toujours été de créer un faux fichier avec un nom de fichier étrange qui ne serait jamais utilisé, et juste de vérifier son existence. Si le fichier était là, rien n'était monté à cet endroit ...

Je ne pense pas que cela fonctionne pour monter des lecteurs réseau ou des choses comme ça. Je l'ai utilisé pour les lecteurs flash.

Que diriez-vous de comparer les numéros d'appareils? J'essayais juste de penser à la manière la plus ésotérique ..

#!/bin/bash
if [[ $(stat -c "%d" /mnt) -ne $(stat -c "%d" /mnt/foo) ]]; then
    echo "Somethin mounted there I reckon"
fi

Il y a un défaut dans ma logique avec ça ...

En tant que fonction:

#!/usr/bin/bash
function somethingMounted {
        mountpoint="$1"
        if ! device1=$(stat -c "%d" $mountpoint); then
                echo "Error on stat of mount point, maybe file doesn't exist?" 1>&2
                return 1
        fi
        if ! device2=$(stat -c "%d" $mountpoint/..); then
                echo "Error on stat one level up from mount point, maybe file doesn't exist?" 1>&2
                return 1
        fi

        if [[ $device1 -ne $device2 ]]; then
                #echo "Somethin mounted there I reckon"
                return 0
        else
                #echo "Nothin mounted it seems"
                return 1
        fi
}

if somethingMounted /tmp; then
        echo "Yup"
fi

Les messages d'erreur echo sont probablement redondants, car stat affichera également une erreur.

Aucune de celles-ci ne convient au cas d'utilisation où un répertoire donné est un sous-répertoire dans un autre point de montage. Par exemple, vous pourriez avoir / thing qui est un montage NFS à héberger: / real_thing. Utiliser grep à cette fin sur / proc / mounts / etc / mtab ou 'mount' ne fonctionnera pas, car vous rechercherez un point de montage qui n'existe pas. Par exemple, / thing / thingy n'est pas un point de montage, mais / thing est monté sur l'hôte: / real_thing. La meilleure réponse mise ici n'est pas "le meilleur moyen de déterminer si un répertoire / volume est monté". Je voterais en faveur de l'utilisation de 'df -P' (mode standard -P POSIX) comme stratégie plus propre:

dev=`df -P /thing/thingy | awk 'BEGIN {e=1} $NF ~ /^\/.+/ { e=0 ; print $1 ; exit } END { exit e }'` && {
    echo "Mounted via: $dev"
} || {
    echo "Not mounted"
}

Le résultat de l’exécution sera:

Mounted via: host:/real_thing

Si vous voulez savoir quel est le véritable point de montage, pas de problème:

mp=`df -P /thing/thingy | awk 'BEGIN {e=1} $NF ~ /^\/.+/ { e=0 ; print $NF ; exit } END { exit e }'` && {
    echo "Mounted on: $mp"
} || {
    echo "Not mounted"
}

Le résultat de cette commande sera:

Mounted on: /thing

Ceci est très utile si vous essayez de créer une sorte de chroot qui reflète les points de montage en dehors du chroot, au sein du chroot, via un répertoire ou une liste de fichiers arbitraire.

Désolé d'avoir soulevé cette question, mais je pense que c'est très utile:

if awk '{print $2}' /proc/mounts | grep -qs "^/backup$"; then
    echo "It's mounted."
else
    echo "It's not mounted."
fi

Cela donne la 2e colonne de / proc / mounts (2e colonne = points de montage).

Ensuite, il affiche la sortie. Notez que ^ et $, cela empêche / backup de faire correspondre / mnt / backup ou / backup-old etc.

grep / etc / mtab pour votre point de montage peut-être?

Cette?:

volume="/media/storage"
if mount|grep $volume; then
echo "mounted"
else
echo "not mounted"
if

De: un forum Ubuntu

Bien que ce soit une question Linux, pourquoi ne pas le rendre portable quand il est facile à faire?

La page de manuel de grepdit:

Les scripts de shell portables devraient éviter à la fois les options -q et -s et devraient /dev/nullplutôt rediriger les sorties standard et d'erreur .

Je propose donc la solution suivante:

if grep /mnt/foo /proc/mounts > /dev/null 2>&1; then
        echo "Mounted"
else
        echo "NOT mounted"
fi

Cela doit-il être plus compliqué que cela?

mount \
    | cut -f 3 -d ' ' \
    | grep -q /mnt/foo \
  && echo "mounted" || echo "not mounted"

Tout dépend de ce que vous savez sur le volume que vous recherchez.

Dans le cas particulier que j'ai étudié récemment, où je me demandais si un lecteur flash particulier était monté, ce qui fonctionne le plus facilement est de vérifier l'existence de / dev / disks / by-label /. Si le périphérique est branché, les scripts udev s'assurent que le lien existe (et qu'il est supprimé lorsque le périphérique est débranché).

(Ce n'est PAS une réponse très portable; cela fonctionne sur de nombreuses distributions Linux modernes, cependant, et la question a été étiquetée pour Linux, et c'est une approche complètement différente de tout ce qui a été mentionné jusqu'ici, de sorte qu'elle élargit les possibilités.)

Créer un fichier sous votre point de montage comme check_mountet ensuite juste tester s'il existe?

if [[ -f /something/check_mount ]]; then
   echo "Mounted
   RC=$?
else
   Echo "Not mounted"
   RC=0
fi
exit $RC

Je devais le faire dans Chef pour idempotence car, lorsque chef-client s'exécutait, l'exécution échouait en raison du volume déjà monté. Au moment où j'écris ceci, la mountressource Chef avait une sorte de bogue qui ne fonctionnait pas avec les attributs comme je le souhaitais. J'ai donc monté le volume à l'aide de la executeressource. Voici comment je l'ai fait:

if not node['docker-server']['mountpoint'] == "none"
  execute "set up mount" do
    user "root"
    command "mount -t ext4 #{node['docker-server']['mountpoint']} #{node['docker-server']['data-dir']}"
    not_if "grep -qs #{node['docker-server']['data-dir']} /proc/mounts"
  end
end

En cas de confusion, dans mon fichier d'attributs, j'ai les éléments suivants:

default['docker-server']['mountpoint'] = "/dev/vdc"
default['docker-server']['data-dir'] = "/data"

Le if not node['docker-server']['mountpoint'] == "none"fait partie d'une caseinstruction où, si le point de montage sur le serveur n'est pas spécifié, le point de montage par défaut est none.