#!/bin/bash
# un outil de rotation de PDF compatible Evince... au prix de perte de qualité
if [ -z "$1" -o ! -f "$1" ]; then
  echo "Usage: $0 input.pdf [output.pdf]"
  exit 1
fi
IN="$1"
[ "$2" ] && OUT="$2" || OUT="`echo "$1" | sed 's/\.pdf$/-180.pdf/'`"
DIR=`mktemp -d`
pdfimages "$IN" "$DIR"/img
for f in "$DIR"/img-*.pbm ; do
  convert "$f" -negate -rotate 180 pnm:- |
  pnmtops -noturn 2>/dev/null |
  ps2pdf - "${f%.pbm}.pdf"
done
pdfjoin --outfile "$OUT" "$DIR"/img-*.pdf >/dev/null
rm -rf "$DIR"