Archives de la liste de diffusion ptaffgnu

Je veux changer l'extension de mon fichier

 
 

Je veux changer l'extension de mon fichier

  • Canada
  • Mozilla Thunderbird
Bonjour,

Il arrive parfois qu'on veut renommer ou transformer une série de
fichiers d'une extension à une autre. Voici le truc: on utilise la
commande rev qui renverse la ligne et ensuite la commande cut pour
couper l'extension (ce qui est après le "."). Un exemple, je veux
renommer le fichier fichier.tata à fichier.toto:
echo $(echo fichier.tata | rev | cut -d . -f 2- | rev).toto

Un exemple plus pratique, convertir des jpg en png avec imagemagick:
for i in *.jpg; do convert $i $(echo $i | rev | cut -d . -f 2- |
rev).png; done

Ma source pour le truc est le document d'upgrade de slackware 11.0 qui
inclus un petit script qui utilise ce truc.

** ENGLISH **

A good trick to change the extension of a file in a script: use cut and
rev. For example, if you want to rename foo.bar into foo.zig:
echo $(echo foo.bar | rev | cut -d . -f 2- | rev).zig

A more practical example, converting jpg files into png files using
imagemagick:
for i in *.jpg; do convert $i $(echo $i | rev | cut -d . -f 2- |
rev).png; done

This tric comes from a script found in the UPGRADE.TXT file of the
slackware 11.0 CD.

Ciao,

--
+-------------------------------------------------------+
| |
| Stefan Michalowski, M. Sc. |
| ------------------ |
| Email: illmnec(à)sympatico.ca |
| GPG Key: http://screamerone.zapto.org/k.asc |
| ---------------------------------- |
| "Provider of Open Paradigm Shifts" |
| |
+-------------------------------------------------------+
 

 

Propulsé par xhtmail