Changer l'extension d'un fichier

[Pierre]

marcel_pierre a écrit :
> Bonjour Pierre,
>
> Perso j'ai utilisé "purrr" et cela a été très facile.
> Voici un lien à creuser.
>
> http://forum.ubuntu-fr.org/viewtopic.php?id=91200
>
> Bonne journéee
>
> mg 
J'avais trouvé la commande "purrr" ainsi que "GPRename". Je les ai 
installés tous les deux sur mon PC, mais je n'ai pas réussi avec. Donc 
quand ça coince, je laisse de côté pour y revenir plus tard et je 
cherche autre chose. La dernière commande que j'ai essayée c'est 
"rename". Je ne suis pas loin du résultat, mais ça ne veut pas marcher 
non plus.

Je vais lazurer mes lucarnes, prendre un peu le soleil et je réessaye 
tout plus tard.

A+

Pierre

-------------- section suivante --------------
Une pièce jointe HTML a été nettoyée...
URL: <https://lists.ubuntu.com/archives/ubuntu-fr/attachments/20080727/5c1e6b38/attachment.html>