diff options
Diffstat (limited to '')
| -rwxr-xr-x | bin/print_spline | 2 | ||||
| -rwxr-xr-x | bin/print_uni | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/bin/print_spline b/bin/print_spline new file mode 100755 index 0000000..e8e1881 --- /dev/null +++ b/bin/print_spline @@ -0,0 +1,2 @@ +#!/bin/sh +cat "$1" | ssh alex@wumm.spline.de "lp -" diff --git a/bin/print_uni b/bin/print_uni new file mode 100755 index 0000000..5beceb9 --- /dev/null +++ b/bin/print_uni @@ -0,0 +1,2 @@ +#!/bin/sh +cat "$1" | ssh sulfrian@wuhan.mi.fu-berlin.de "lp -" |