Bonjour,

un truc bien pratique que j'oublie souvent. Il existe sous bash tout une série de
fonctione de manipulation de chaîne de caractères
(strings). C'est bien pratique, surtout quand on fait des scripts. Par exemple, si on
voulait convertir une série d'images:

Nous avons:
a.gif
b.gif
c.gif

que nous voulons convertir en gif.

on peut faire ça avec un for:

for file in *.gif; do convert ${file} ${file%.gif}.png; done

c'est le ${file%.gif} qui est intéressant ici. ${file} est tout simplement la référence
à la variable file, le % indique l'opération
sur les chaîne de caractères, dans ce cas, on coupe la partie .gif.

Pour plus de détails:
http://tldp.org/LDP/abs/html/string-manipulation.html

Ciao,