Quotidien Shaarli

Tous les liens d'un jour sur une page.

January 8, 2018

<3 Linux

J'ai besoin de convertir un .png en .pdf (marche dans l'autre sens) sous Linux ... une recherche ..., je trouve ceci :
convert file.png file.pdf

Je vérifie, convert (fait partie d'ImageMagick) est installé sur ma machine. J'entre la commande dans un terminal.
Ça marche, même pas besoin de lancer Gimp.

<3 Linux

Autre exemple :
convert file.webp file.jpg

Pour se donner une idée du nombre de formats supportés par ImageMagick/convert sur une machine :
identify -list format

Pour conserver une qualité identique à la conversion :
convert -density 300 -trim in.pdf -quality 100 out.jpg
(density 150 est déjà correct)
-density 300 sets the dpi that the PDF is rendered at.
-trim removes any edge pixels that are the same color as the corner pixels.
-quality 100 sets the JPEG compression quality to the highest quality.

Un utilitaire génial !

Tourner un pdf de 90° :
convert -rotate 90 <file>.pdf <rotated-file>.pdf