Après avoir essayé sans succès certaines options pour rendre les polices sous forme de contours (y compris cette question et pstoedit), j'ai trouvé un moyen de convertir facilement le PDF en forme pixellisée à l'aide d'ImageMagick :
convert -density 600 +antialias input.pdf output.pdf
Cela crée un PDF rendu à 600 dpi, avec l'anticrénelage désactivé (inutile à cette résolution).
Les fichiers de sortie sont volumineux (~30 Mo pour un document de 8 pages) et extrêmement lents à imprimer, mais devraient fonctionner tant que l'imprimante dispose de suffisamment de mémoire pour restituer le contenu.
Je pense que ma façon préférée de le faire est :
-
Utilisez pdftoppm pour convertir le fichier PDF en une série d'images.
$ pdftoppm source.pdf sortie -png
-
Utilisez img2pdf pour créer un fichier pdf à partir de ces images.
$ img2pdf *.png -o sortie.pdf
La bonne nouvelle est que vous pouvez créer un script bash pour automatiser l'ensemble du processus pour vous.
Voici un script bash qui distillera tous les fichiers pdf d'un répertoire et conservera les originaux dans un nouveau répertoire "originals".
#!/bin/bash
mkdir "originals";
for filename in ./*.pdf; do
pdftoppm "$filename" output -png
mv "$filename" ./originals
img2pdf *.png "-o" "$filename"
rm *.png
done
Crédits :réponse img2pdf et réponse pdftoppm et aide au script bash :1 et 2
(Note latérale) Vous pouvez installer img2pdf en utilisant :
$ sudo apt install img2pdf