Uno script per convertire tutti i file jpg in una directory in pdf e rinominare la loro estensione.
Serve imagemagick (sudo apt-get install imagemagick su sistemi derivati debian).
#!/bin/bash
SAVEIFS=$IFS
IFS=$(echo -en “\n\b”)
for i in *
do
echo “processing gile file: ” ${i}
convert -page A4 -compress jpeg -quality 70 ${i} `echo ${i} | sed -e ’s/\.jpg/\.pdf/g’`
done
IFS=$SAVEIFS
Copiatelo nella vostra diectory in un file “jpg2pdf.sh“, dategli i permessi di esecuzione con “chmod +x jpg2pdf.sh”, poi eseguitelo con “./jpg2pdf.sh”.
