Correction : adaptation de $PATH pour gpg_preset-passphrase(1).
[lhc/ateliers.git] / remote / iodine-ssh
1 #!/bin/sh -eu
2 tool=$(readlink -e "${0%/*}/..")
3 . "$tool"/remote/lib.sh
4
5 "$tool"/remote/ssh -v "$@" "$local_iodine_gateway"