Re: déplacer / renommer

Thomas <fantome.forums.tDeContes@free.fr.invalid> writes:

quand on fait ça on appelle ça "déplacer" (move) :
>
mv old-dir/name new-dir/
>
quand on fait ça on appelle ça "renommer" (rename) :
>
mv old-name new-name

Pour moi les deux opérations sont des déplacements. La première forme
est une facilité d'utilisation qui n'oblige pas à répéter le nom de la
destination (qui sera le même que celui de la source) -- et au passage
permet de déplacer plusieurs fichiers vers le même répertoire
destination en une seule commande.

La vraie distinction est entre renommer et copier+supprimer : le
renommage se fait entre chemins dans le même file-system ; si par contre
les chemins atterrissent sur des file-systems différents, il faut copier
(même si on déplace des répertoires) puis supprimer la source. C'est
pour cela que la commande s'appelle mv et pas rename (comme l'appel
système qui fait le travail quand on renomme).

"Déplacer" est donc un terme générique, qui subsume "renommer" aussi
bien que "copier puis supprimer".

y a-t-il une manière concise et appropriée de designer cette opération ?
>
mv old-dir/old-name new-dir/new-name

Tous tes exemples sont des déplacements, et on ne peut pas être plus
précis tant qu'on ne connaît pas leur localisation (en termes de
file-systems).

-- Alain.

P/S: il semble que la notion de "même file-system" puisse être plus ou
moins précise (par exemple sur ZFS -- où on peut déplacer entre
file-systems du même pool -- ou sous Linux -- où on ne peut pas déplacer
entre montages distincts du même file-system). Bon, vous voyez l'idée.
De toute façon, il semble que mv essaie rename(), puis passe à la copie
si il prend EXDEV en réponse (c'est mandaté par POSIX).