Quand ark ne veut pas décompresser, on supprime le fichier car il est mal compressé...
Sinon, ne JAMAIS faire rm -r dossier !
Il est plus prudent de faire : rm dossier -r
Au passage, lire le man de rm ca peut aider ! Je ne suis pas sûr que tu es réalisé que le fichier dont tu parles était en réalité un dossier avec des choses dedans !