Porneia delights

— Dans la série j'essaye de me passer de l'interface graphique, je vais vous expliquer comment lire vos PDFs en ligne de commande. En fait, on contourne la tâche plus qu'autre chose, car on ne lira pas directement le pdf en console.

Étant donné que je n'ai pas trouvé de programme permettant directement une lecture du pdf dans la console, je me suis dis pourquoi ne pas transformer le pdf en un fichier html, puis le lire avec un quelconque navigateur en ligne de commande. Il faut donc au préalable installer pdftohtml et un navigateur internet en mode console, pour moi ce sera elinks. Ensuite on peut donc visualiser n'importe quel pdf via la commande :

$ pdftohtml -q document.pdf ; elinks document.html

Bien sûr ce n'est pas pratique me direz vous. Alors vient la solution de faire un petit script exécutable dans /bin/ (dans $PATH plus généralement) du nom que vous désirez, et qui ferait directement toutes les commandes nécessaires et effacerait toutes les traces de la visualisation :

#!/bin/bash 
name=$(date +%s)
if [ ! "$1" ]; then
{
echo "
    Usage: viewpdf [name_of_document]
    "
}
else
{
    pdftohtml -q $1 .$name.html
    elinks .$name.html && rm .$name*
}
fi

Si mon pdf s'appelle document.pdf et que j'ai nommé mon programme viewpdf, un simpe viewpdf document.pdf sera alors nécessaire pour le lire !

Vous aurez sans doute remarquez l'utilisation de l'heure unix qui est très pratique dans ce cas, cela évite de supprimer par erreur des fichiers qui auraient pu commencer par un nom que l'on aurait choisis (par exemple temp...).

Liens :


Cet article a été exhumé par illovæ avec l'aimable autorisation de son auteur.

Vous pouvez envoyer par mail vos commentaires et vos remarques à gapz [at] dud-t [point] org.

Lire les PDFs en console (320 mots) de gapz est diffusé sous la licence WTFPLv2 et Beer-ware (Révision 42).

Vulnerant omnes, ultima necat. Sic transit hominis regnum.
Copyleft © 2006 — gapz