マウントポイントでない場合にのみディレクトリを削除するのは安全です。

マウントポイントでない場合にのみディレクトリを削除するのは安全です。

残念ながら、ネットワークボリュームの自動マウントとマウント解除を非常に適切に処理できないソフトウェアを使用する必要がありました。マウントポイントがあるディレクトリをそのままにする傾向がありますが、後でボリュームを再マウントすると、この状況を処理できません。正確には(はいしなければならないクリーンアップしてもクリーンアップしないことが多いです)。

もちろん、開発者に修正を依頼しますが、その間にマウントポイントを整理するために直接何かをする必要があります。

したがって、本質的に私がすべきことは、そのディレクトリを削除することです。いいえ現在はマウントポイントです(誤ってボリュームの内容を削除したくないため)。

ディレクトリのデバイスIDを簡単に取得し、ルートのデバイスIDと比較できるようになりましたが、これらの比較を使用すると競合状態が発生する可能性があります。つまり、デバイスIDを確認してTelephoneを押す間にボリュームがマウントされている場合ですrm -r /mnt/point

find他のオプションがありますか?コマンドオプションの使用可能性に興味がありますが、ターゲットとそのコンテンツが同じデバイスな-xdevので、実際に比較ポイントを提供する方法がわかりませんfind /mnt/point -xdev。だから動作しません。

また、rmdir残りのフォルダが常に空であるという仮定を使用することは信頼できないようです。たとえば、macOSはマウントポイント内にファイルがある可能性があるためです.autodiskmounted。私はできるそのような状況のリストを作成し、可能であればそれを処理して将来の参照のためのより一般的な解決策を得ることをお勧めします(そして他の人にも役立つことを願っています)。

ベストアンサー1

ディレクトリがマウントポイントの場合は使用中なので、名前を変更できません。

$ sudo mv /mnt /mnt.old
mv: cannot move '/mnt' to '/mnt.old': Device or resource busy

通常のディレクトリの場合は、名前を変更できる必要があります。

$ sudo mv /mnt /mnt.old

移動が成功すると、マウントディレクトリを再作成し、名前が変更されたディレクトリを削除します。あるいは、名前が変更されたディレクトリが削除される前に予想されるファイルシステムの一部であることを確認できます。

おすすめ記事