automatisation, créer un document pdf à partir d'une page web

Il est facile de créer un document PDF à partir d'une page web.

Pour cela on peut utiliser le programme wkhtmltopdf



ou bien phantomjs avec le script rasterize.js



A noter :

• wkhtmltopdf peut produire des documents avec des tailles de polices différentes entre 2 pages web d'un mếme site web (vu au travail), il coupait aussi une ligne entre deux pages du document pdf
  
• rasterize.js a produit un document PDF avec une police moins jolie que wkhtmltopdf chez moi
  

wkhtmltopdf, phantomjs, rasterize.js, pdf

bash, type mime

On peut déterminer le type mime d'un fichier en bash en utilisant la commande file

wget, récupérer un site

Petite commande utilisée dans le cadre de mon projet pour récupérer l'ensemble de tests fitnesse afin de les packager et les livrer au client.

wget, fitnesse, web

sed, garder ou retirer des lignes matchant un pattern spécifié

Il est possible d'utiliser sed pour filter des lignes et garder/ne pas garder celles qui matchent un pattern spécifié

Dans l'exemple suivant, on garde ou ne garde pas les lignes contenant le terme ou



Il est tout à fait possible d'utiliser l'option in-place de sed pour travailler sur le fichier lui même.

sed, delete

terminal, raccourcis effacement

Dans le terminal :

ctrl-w : efface le texte avant le curseur jusqu'au premier blanc

alt-backspace : efface le texte avant le curseur jusqu'au premier point, deux points, slash ou blanc