Modification : vm_{host,hosted,remote} -> {host,local,remote}/ .

[lhc/ateliers.git] / remote / ssh

diff --git a/remote/ssh b/remote/ssh
new file mode 100755 (executable)
index 0000000..2ebd542
--- /dev/null
+++ b/remote/ssh
@@ -0,0 +1,7 @@
+#!/bin/sh -eux
+tool=${0%/*}/..
+ssh \
+ -o StrictHostKeyChecking=yes \
+ -o UserKnownHostsFile="$tool"/etc/openssh/known_hosts \
+ -o HashKnownHosts=no \
+ "$@"