J'ai obtenu le répertoire /home/user/oldname et je veux le renommer en /home/user/newname . Comment puis-je faire cela dans un terminal ?
Réponse
Trop de publicités?
Michael Brewer-Davis
Points
8548
Gvfs-rename renommera aussi les répertoires. Il donnera une erreur si un répertoire avec le nouveau nom existe déjà. La seule limitation est que vous ne pouvez pas utiliser un chemin avec le nom du dossier. Donc
gvfs-rename /home/boo /home/boo-the-dog ne fonctionnera pas, mais
cd /home
gvfs-rename boo boo-the-dog fonctionnera. Pas aussi utile que mv -T mais j'ai lu dans le manuel qu'il était destiné aux opérations réseau.
- Réponses précédentes
- Plus de réponses
