Merge commit 'f587'HEADmaster

1 files changed, 19 insertions, 0 deletions

diff --git a/dot/local/bin/ssh-shellwrap b/dot/local/bin/ssh-shellwrap
new file mode 100755
index 0000000..e0d537e
--- /dev/null
+++ b/dot/local/bin/ssh-shellwrap
@@ -0,0 +1,19 @@
+#!/bin/bash
+# ssh wrapper; requires "--" before host argument
+options=()
+while [ $# -gt 0 ]
+do
+    case $1 in
+        -- ) break ;;
+    esac
+    options+=("$1")
+    shift
+done
+set -e
+[ "$1" = '--' ]
+shift
+[ $# -gt 0 ]
+host=$1
+shift
+ssh "${options[@]}" -- "$host" ${*@Q}
+