Commandes linux

Commandes utiles en vrac
Auteur·rice
# générer une image à partir d'un PDF, où PPM=150 et output=préfix des images (une par page)
pdftoppm -jpeg -r 150 <input>.pdf output