J'ai recherché un utilitaire qui permet de lire un fichier HTML et de le convertir en
PDF. Cet utilitaire s'appelle wkhtmltopdf. Jetez un œil sur le
site officiel ou
la doc de l'installation.
- Installation : sudo apt install wkhtmltopdf
Ce logiciel s'utilise en ligne de commande. Pour l'exécuter, dans un terminal (Shift + CRRL + T), tapez wkhtmltopdf entree.html sortie.pdf puis la touche entrée.
Mais c'est mieux avec des extensions de formatage du document. J'en ai choisi uniquement 2 : la résolution en sortie du graphisme pour l'affichage en 96 et le format de page A4. Il en existe d'autres que vous trouverez dans les liens ci dessus ou bien en tapant : wkhtmltopdf --help
- utilisation : wkhtmltopdf -d 96 -s A4 entree.html sortie.pdf
Le nom du enntree.html peut être en local, sur le réseau ou un lien web html. Par contre, cela ne fonctionne que pour un fichier à la fois. Mais, en Bash, un petit script permet de convertir tout un répertoire de fichiers html.
#!/bin/bash
for file in /home/yogi/Bureau/fichiershtml/*
do
wkhtmltopdf -d 96 -s A4 ${file} fichierspdf/sortie$compteur.pdf
compteur=$(($compteur + 1))
echo $compteur " -
" ${file} " - " sortie$compteur.pdf
done







