#!/bin/sh cat "$1" | ssh sulfrian@wuhan.mi.fu-berlin.de "lp -"