diff options
| -rwxr-xr-x | scripts/update_hosts.sh | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/update_hosts.sh b/scripts/update_hosts.sh index 7e7104c..4f32722 100755 --- a/scripts/update_hosts.sh +++ b/scripts/update_hosts.sh @@ -50,8 +50,6 @@ for host in $hosts; do printf "Deploying remote side script ..\n" scp "$base_dir/scripts/update_hosts.remote" "$user@$host.vhack.eu:update_host.remote" - set -x - flake_path="" if [ "$direct" = true ]; then printf "Deploying git config ..\n" @@ -83,6 +81,6 @@ done # Give the servers some time to reboot sleep 5 -ping_hosts.sh $user $hosts +ping_hosts.sh "$user" "$hosts" # vim: ft=sh |