コマンドの実行
/data/jritchie$ mv ~/jenkins_dev /data/jritchie/jenkins_dev
次のエラーがたくさん発生します。
mv: cannot remove `/home/jritchie/jenkins_dev/plugins/valgrind/WEB-INF/lib': Directory not empty
これは返されたエラーと似ています。RM。
私の質問は、このエラーは、私のファイルがすべて新しい場所に正常に移動したが、以前の場所から削除できなかったことを意味しますか？それともまったく動いていませんか？古いファイルを安全に削除できますかrm -r ~/jenkins_dev？
ベストアンサー1
そこに自分の所有ではないファイル/フォルダがあることを確認してください。 bashが次のようにすべてのファイル名でうまく機能しているとします。
for file in $(find ~/jenkins_dev); do stat -c '%U %n' $file;done | grep -v jritchie
問題が発生した場合は、所有者（またはシステム管理者）に処理を依頼する必要があります。