c87432d7cf0913aa427f229f512a3fa068a7de75
[lhc/ateliers.git] / remote / lib.sh
1 . "$tool"/etc/local.sh
2 set -x
3 test ! "$(hostname --fqdn)" = "$local_fqdn"
4 test ! "$(hostname --fqdn)" = "$local_host"