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

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

受け入れられる答え：bash、python、C / C ++。

デバイス番号を比較することで実行できます。

Linuxのシェルスクリプトでは、statを使用して実行できます。

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

python：

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

または

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

標準コマンド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

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;
}

「統計」の答えは最も簡単ですが、2つのファイルシステムが同じデバイス上にある場合、誤検出されます。これまでに見つけた最高のLinuxシェルメソッドを次に示します（この例はBashの場合です）。

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

（coreutils 8.21以降が必要です）