2つのディレクトリまたはファイルが同じファイルシステムに属していることを確認する方法

2つのディレクトリまたはファイルが同じファイルシステムに属していることを確認する方法

両方のディレクトリが同じファイルシステムに属していることを確認する最良の方法は何ですか?

許容される回答:bash、python、C / C ++。

答え1

これは次の方法で行うことができます。デバイス番号の比較

Linuxのシェルスクリプトでは、次のコマンドを使用してこれを実行できます。統計資料:

stat -c "%d" /path  # returns the decimal device number 

存在するPython:

os.lstat('/path...').st_dev

または

os.stat('/path...').st_dev

答え2

標準コマンドdf指定されたファイルがあるファイルシステムを表示します。

if df -P -- "$1" "$2" | awk 'NR==2 {dev1=$1} NR==3 {exit($1!=dev1)}'; then
  echo "$1 and $2 are on the same filesystem"
else
  echo "$1 and $2 are on different filesystems"
fi

答え3

Qt / C ++ベースのプロジェクトで同じ問題が発生し、次のシンプルで移植可能なソリューションを見つけました。

#include <QFileInfo>
...
#include <sys/stat.h>
#include <sys/types.h>
...
bool SomeClass::isSameFileSystem(QString path1, QString path2)
{
        // - path1 and path2 are expected to be fully-qualified / absolute file
        //   names
        // - the files may or may not exist, however, the folders they belong
        //   to MUST exist for this to work (otherwise stat() returns ENOENT) 
        struct stat stat1, stat2;
        QFileInfo fi1(path1), fi2(path2),
        stat(fi1.absoluteDir().absolutePath().toUtf8().constData(), &stat1);
        stat(fi2.absoluteDir().absolutePath().toUtf8().constData(), &stat2);
        return stat1.st_dev == stat2.st_dev;
}

答え4

「stat」の答えはきれいですが、両方のファイルシステムが同じデバイスにあるときに間違った肯定を提供します。これは私が今まで見つけた最高のLinuxシェル方法です(この例はBash用です)。

if [ "$(df file1 --output=target | tail -n 1)" == \
     "$(df file2 --output=target | tail -n 1)" ]
    then echo "same"
fi

(coreutils 8.21以降が必要)

関連情報