Changer l'extension d'un fichier

[Bruno Patri]

Le Friday 25 July 2008 22:47:08 Pierre, vous avez écrit :
> Tout en posant mes questions, je continue à fouiner sur internet pour
> trouver des réponses.
> je viens de trouver un document de Armand Delcros ", "_*Les commandes
> fondamentales de Linux.*_* *J'ai de quoi boser.
> Bien entendu je reste ouvert à toutes les suggestions. Le problème avec
> Internet, c'est qu'il y a tellement de choses, qu'on peut passer à côté
> de ce que l'on cherche, des centaines de fois sans le savoir.


Bonjour,

Quelqu'un t'a déjà donné la syntaxe de la commande rename il me semble :

cd ton_dossier

rename 's/\.asf/.wma/' *.asf

(pas évident à manipuler car il s'agit de regexp perl...)


Sinon il existe des interfaces graphiques pour renommer des groupes de 
fichiers, krename pour l'environnement KDE (mais fonctionne aussi sous GNOME), 
gprename pour l'environnement GNOME. ou encore purr qui est documenté ici : 
http://doc.ubuntu-fr.org/purrr 



-- 
Bruno