segurança, versões modernas do GNU rm
irão evitar que você remova todos /
acidentalmente, mas não / home ou algo assim ... A maneira mais segura que eu posso pensar é primeiro cd
no diretório, use ls
para verificar se é o correto, remova seu conteúdo e, em seguida, cd .. && rmdir proc
. O rmdir é seguro porque remove apenas diretórios vazios.
Você pode usar a GUI, que geralmente é mais segura que rm
. Ou seja mova o arquivo excluído para a Lixeira, dando a você a chance de desfazer antes de esvaziar a lixeira. Eu prefiro isso quando prático. Nem sempre é o melhor ... Eu consegui travar o GNOME Files enquanto testava isso.
Você provavelmente precisará de O problema é que alguns dos subdiretórios foram marcados como "somente leitura" (e você não está executando como rm -f
. root
, que ignora tais problemas). / p>
Você pode conceder acesso de gravação no tudo dentro do diretório com chmod u+w -R
. Então você poderá deletá-lo.
Os gerenciadores de arquivos, como o GNOME Files, também podem alterar as próprias permissões. Clique com o botão direito - > propriedades - > permissões. Ao lado de Proprietário, defina "criar e excluir arquivos". Em seguida, faça o mesmo novamente em "alterar permissão para arquivos incluídos".