Running the command
/data/jritchie$ mv ~/jenkins_dev /data/jritchie/jenkins_dev
I'm getting a bunch of errors like the following:
mv: cannot remove `/home/jritchie/jenkins_dev/plugins/valgrind/WEB-INF/lib': Directory not empty
This is similar to errors returned by rm.
My question is, does this error mean that my files were all successfully moved to the new location, but removing them from the old location failed? Or that they didn't get moved at all? Can I safely remove the old files with
rm -r ~/jenkins_dev?