Не полагаясь на mount
, /etc/mtab
, /proc/mounts
и т. Д.:
if [ `stat -c%d "$dir"` != `stat -c%d "$dir/.."` ]; then
echo "$dir is mounted"
else
echo "$dir is not mounted"
fi
Когда $dir
- это точка монтирования, она имеет номер устройства, отличный от родительского каталога.
Преимущество по сравнению с перечисленными альтернативами состоит в том, что вам не нужно ничего анализировать, и это правильно, если dir=/some//path/../with///extra/components
.
Недостатком является то, что он не помечает /
как точку монтирования. Ну, это достаточно просто для особого случая, но все же.