#! /bin/zsh # # this file: # http://user.it.uu.se/~embe8573/conf/.zsh/pdf-img # https://dataswamp.org/~incal/conf/.zsh/pdf-img pdf2img () { local from=$1 local name=${from:r} local ext=${2:-png} local to=${name}.${ext} local depth=32 local density=300 convert -density $density \ -depth $depth \ $from $to } alias pdf2png=pdf2img pdf2imgs () { local from=$1 pdf2img $from png pdf2img $from jpg } png2pdf () { local png=$1 local name=${png:r} local pnm=${name}.pnm pngtopnm $png > $pnm local ps=${name}.ps pnmtops $pnm > $ps ps2pdf-crop $ps } ps2pdf-crop () { local ps=$1 local name=${ps:r} local final_pdf=${name}.pdf local large_pdf=${name}-large.pdf ps2pdf $ps $large_pdf pdfcrop --margins 12 $large_pdf $final_pdf } # N.B. not any picture but pic(1) source pic2pdf () { # pic(1) image local img=$1 local name=${img:r} # PS local ps=${name}.ps groff -p $img -T ps > $ps # PDF ps2pdf-crop $ps }