Print documents at GSI, pass printer number and filename. Needs a gsi host defined in ssh config.

pop.sh

#!/bin/bash
# copies a file to the gsi lx-pool, 
# prints it and then removes it.
#

if [ "$#" -eq 2 ]; then
    scp $2 gsi:$2
    ssh gsi "pop -p$1 $2 2>&1 ; rm $2" > /tmp/log
    cat /tmp/log && rm /tmp/log
else
    echo "Use with 2 parameters: printer number (no p) and file name."
fi