Modification : $vm_ -> $local_ .
[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"