La commande basename sert à extraire d'un chemin complet /toto/fichier.ext le nom de fichier seul (fichier.ext), et enlève aussi tout chaine de caractère finale si on lui la précise.
Tu peux donc faire un convert a-000001.ppm `basename $I .pdf`.jpg (n'oublie pas le point !)
Sinon, tu sais que convert peut directement convertir un pdf en jpg, sans avoir besoin de passer par pdftoppm ? (Si c'est du multi-page il fera plusieurs jpegs)
# basename
Posté par daggett . En réponse au message Bash : PDFs vers Jpeg à la chaîne. Évalué à 4.
Tu peux donc faire un convert a-000001.ppm `basename $I .pdf`.jpg (n'oublie pas le point !)
Sinon, tu sais que convert peut directement convertir un pdf en jpg, sans avoir besoin de passer par pdftoppm ? (Si c'est du multi-page il fera plusieurs jpegs)