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: illmnecsympatico.ca |
| GPG Key: http://screamerone.zapto.org/k.asc |
| ---------------------------------- |
| "Provider of Open Paradigm Shifts" |
| |
+-------------------------------------------------------+