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 :
Et là, j'ai bien mes fichiers images mais comme ça :
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
Donc, en fait je voudrais pouvoir enlever l'extension .pdf de la variable $file mais je ne sais pas vraiment comment faire...file0.pdf.gif
file1.pdf.gif
Merci de votre aide.
Partager