Changer l'extension d'un variable

Bonjour,
Je ne connais pas du tout le shell et je pense que ma question va paraître très facile pour certains, mais bon...
Je veux faire un fichier bash me permettant de récupérer les fichiers PDF du répertoire courant et d'effectuer une opération sur chacun des fichiers (en l'occurrence, il s'agit d'un convert afin de convertir chacune des pages du fichiers PDF en image GIF), voilà ce que j'ai fait :

Code:

---

1 2 3 4 5

#!/bin/sh for file in `find $1 -iname '*.pdf'`; do convert $file $file%d.gif; done

---

Et là, j'ai bien mes fichiers images mais comme ça :

Citation:

---

file0.pdf.gif
file1.pdf.gif

---

Donc, en fait je voudrais pouvoir enlever l'extension .pdf de la variable $file mais je ne sais pas vraiment comment faire...
Merci de votre aide.

Bonjour,

Tu peux faire de cette facon en bash :

Code:

---

1 2 3 4 5 6 7

#! /bin/bash   REP="." for file in $REP/*.pdf ; do convert $file ${file/.pdf/%d.gif} done

---

Si ca ne fonctionne pas, utilise sed.

Super ça marche...
Merci beaucoup...
Si tu as 2 secondes, peux-tu m'expliquer comment ça fonctionne :

Code:

---

1 2	${file/.pdf/%d.gif}

---

les {..} ??

Citation:

---

Envoyé par snoop

Si tu as 2 secondes, peux-tu m'expliquer comment ça fonctionne :

Code:

---

1 2	${file/.pdf/%d.gif}

---

les {..} ??

---

C'est assez simple. C'est un methode qui se retrouve dans bash et zsh. Ca permet de faire de basiques substitutions.
ALors :
:arrow: file : C'est le nom de la variable qui sera traité.
:arrow: /.pdf/ : La chaine qu'on va remplacer (les slashs correspondent a la syntaxe)
:arrow: %d.gif : La chaine qu'on insere en lieu et place de .pdf

Merci :wink: