Vous utilisez un navigateur non à jour ou ancien. Il ne peut pas afficher ce site ou d'autres sites correctement. Vous devez le mettre à jour ou utiliser un navigateur alternatif.
Comment on modifie le nom d'un fichier par le terminal?
pour info, en fait, cette commande permet de déplacer un fichier si on le déplace dans le même dossier mais qu'on lui donne un autre nom, on le renomme tout simplement.
mv = MoVe
si t'es pas sur de toi, fais un cp d'abord, c'est plus sur (ça copie) et apres tu effaces (rm).
Sur un dossier, c'est avec l'extension -R
Bref:
cp -R mon_vieux_dossier mon_nouveau_dossier
puis
rm -R mon_vieux_dossier
Mais bon, mv c'est plus rapide...