#! /bin/bash
# Last edited on 2024-04-01 14:43:45 by stolfi

tmp="/tmp/$$"

gs \
  -sDEVICE=pswrite \
  -sOutputFile=- \
  -q \
  -dNOPAUSE \
  -dNOPLATFONTS \
  -dBATCH \
  -c save pop -f \
  -
  
# /bin/cat ${tmp}.ps
# /bin/rm ${tmp}.ps