Cristian Vicente

Por cuestiones atípicas de la vida, me encontré ante la situación de tener que extraer ciertas páginas de un PDF. Encontré un tutorial en Internet que daba una buena solución, rápida y efectiva para el trabajo en lotes de ficheros desde un terminal.

Básicamente hay que tener instalado ghostscript y pegar lo siguiente en el fichero .bashrc:

function pdfpextr()
{
# this function uses 3 arguments:
# $1 is the first page of the range to extract
# $2 is the last page of the range to extract
# $3 is the input file
# output file will be named «inputfile_pXX-pYY.pdf»
gs -sDEVICE=pdfwrite -dNOPAUSE -dBATCH -dSAFER \
-dFirstPage=${1} \
-dLastPage=${2} \
-sOutputFile=${3%.pdf}_p${1}-p${2}.pdf \
${3}
}

A partir de ese momento tendremos un nuevo comando en nuestro terminal que funcionará de esta forma «pdfpextr paginaInicio paginaFin pdfacortar.pdf».