☰

インストール後に「dev」を削除する方法は？

tag-icon • tag-icon mount unmounting
インストール後に「dev」を削除する方法は？

devインストール後に削除できないようです。走り続けUbuntu 18.04.2 LTSています4.15.0-1052-aws。

mkdir -p ~/jail/dev
pushd ~/jail
sudo mount --rbind /dev dev/
sudo umount  dev/
umount: /home/ubuntu/Code/conversations/jail/dev: target is busy.

コンピュータを再起動せずに削除する方法はありますか？

または、簡単に削除できるようにインストールする方法はありますか？

修正する：これは次の出力ですlsof /home/ubuntu/Code/conversations/jail/dev。

COMMAND   PID USER   FD   TYPE DEVICE SIZE/OFF NODE NAME
kdevtmpfs  55 root  cwd    DIR    0,6     2980    2 dev
kdevtmpfs  55 root  rtd    DIR    0,6     2980    2 dev

ベストアンサー1

mount --make-rslave dev/
umount -R dev/

安全上の理由から、最初の命令が必要です。 2番目のコマンドがディレクトリ内のサブディレクトリをアンロードするのを防ぎます。オリジナル /dev目次。これは「インストールの伝播」によるものです。

2 番目のコマンドはツリー全体を再帰的にアンロードします。dev/ptsたとえば、これにより、削除する前に最初に削除できますdev/。これが「ターゲットが使用中です」エラーの原因です。

最適化としてumount -l代わりに使用できますumount -R。これは、バインドマウントツリー全体を分解するのに役立ちます。

バインドマウントの「umount -R」は無視できないほど時間がかかります。なぜですか？

ただし、単純なバインドマウントや仮想ファイルシステム以上のものであれば注意が必要です。ファイルが開いているプログラムは通常、そのファイルに引き続きアクセスできます。ファイルシステムは閉じるまで開いています。ただし、ファイルシステムはすぐに「分離」されます。もはや名前空間を複雑にしません。スタンバイには表示されませんfindmnt。これは、基本デバイスが「削除しても安全な」時期を簡単に知ることができないことを意味します。

おすすめ記事