Polissage.

[lhc/ateliers.git] / vm_ssh

diff --git a/vm_ssh b/vm_ssh
deleted file mode 100755 (executable)
index e39d9b1..0000000
--- a/vm_ssh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-set -e -f ${DRY_RUN:+-n} -u
-tool=${0%/*}
-ssh \
- -o StrictHostKeyChecking=yes \
- -o UserKnownHostsFile=etc/openssh/known_hosts \
- -o HashKnownHosts=no \
- "$@"