Changer l'extension d'un fichier - Résolu

[Pierre]

Pierre a écrit :
> 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
>
Juste avant d'aller lazurer, j'ai voulu refaire un essai avec purrr. 
BINGO, ça marche!

*<<Une fois qu'on a compris, on ne comprend plus pourquoi on ne 
comprenait pas.>>

*C'était tellement simple...

Merci de votre aide

Pierre




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