Convertir ficheros PDFs a ficheros de texto listos para imprimir
El siguiente script utiliza el comando pdftotext para convertir ficheros PDF en ficheros de texto preparados para ser impresos: #!/bin/sh txtFile=`basename $1 pdf`txt pdftotext $1 sed ‘s/^[ ]*//’ < $txtFile | \ awk '{if...