Discussion :

[snoop]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

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.

[nyal]

Bonjour,

Tu peux faire de cette facon en bash :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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.

[snoop]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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

les {..} ??

[nyal]

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

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :
file : C'est le nom de la variable qui sera traité.
/.pdf/ : La chaine qu'on va remplacer (les slashs correspondent a la syntaxe)
%d.gif : La chaine qu'on insere en lieu et place de .pdf

[snoop]

Merci