Je poste ici un petit script permettant de convertir "en masse" des fichier *.pdf en images *.png.
C'est Patrick qui m'a aider à ce sujet : j'ai juste modifié un peu le script qu'il m'a fourni.
Il m'a été très précieux pour la création de l'aide de Cristallo.pdf, donc je suppose qu'il peut en aider d'autres : profitez en, et n'hésitez pas à ajouter d'autres scripts qui pourrait nous être utiles...
- Code: Tout sélectionner
#!/bin/bash
for z in *.pdf; do
convert -density 300 -scale 30% -depth 8 -quality 100 $z ${z%.*}.png
echo Conversion de $z en ${z%.*}.png
done
exit 0