basename

Retourner au contenu associé (entrée de forum : Bash : PDFs vers Jpeg à la chaîne)

# basename

Posté par ArBaDaCarBa le 09 février 2005 à 18:33. En réponse au message Bash : PDFs vers Jpeg à la chaîne. Évalué à 4.
Pour supprimer l'extension des fichiers, tu peux utiliser basename:
```
$basename fichier.pdf .pdf
fichier
```
D'autre part, pourquoi ne pas utiliser simplement convert ? Le code ressemblerait à:
```
#! /bin/sh
for pdf in *.pdf
do
convert $pdf `basename $pdf .pdf`.jpg
done
```
Ce qui créé des .jpg.0 .. .jpg.n pour les PDFs avec plusieurs pages. Pour ce qui est de déplacer les fichiers dans un autre répertoire: convert $pdf 1ドル/`basename $pdf .pdf`.jpg devrait aller.