Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →
Ceci est une ancienne révision du document !
La commande mv permet de déplacer des dossiers ou des fichiers vers une destination définie par l'utilisateur ou bien de les renommer.
On l'emploie de cette manière :
mv <source> <destination>
mv /home/Robert/test.txt /home/Robert/dossiertxt/
La commande mv change de place le fichier text.txt situé dans les dossiers personnels de Robert pour le déplacer dans le dossier dossiertxt.
Pour renommer une fichier en console, il n'y a que cette solution car il n'y a pas de commande spécifique au renommage.
mv <fichier à renommer> <nom du fichier>
mv /home/Robert/changemoidenom.txt /home/Robert/irc.txt
Dans ce cas, le fichier changemoidenom.txt deviendra irc.txt.