Executando o comando
/data/jritchie$ mv ~/jenkins_dev /data/jritchie/jenkins_dev
Estou recebendo muitos erros como os seguintes:
mv: cannot remove '/home/jritchie/jenkins_dev/plugins/valgrind/WEB-INF/lib': Directory not empty
Isso é semelhante aos erros retornados por rm .
A minha pergunta é: este erro significa que os meus ficheiros foram todos movidos com êxito para a nova localização, mas os removeram da localização antiga falhou? Ou que eles não se mexeram? Posso remover com segurança os arquivos antigos com rm -r ~/jenkins_dev ?
Verifique se existe um arquivo / pasta que você não possui. Assumindo o bash e todos os nomes de arquivos são bem comportados, algo como:
for file in $(find ~/jenkins_dev); do stat -c '%U %n' $file;done | grep -v jritchie
Se algo aparecer, você precisa fazer com que o proprietário (ou sysadmin) cuide disso.