Easy modification of ssh config
Just add another alias to each worker
Start file
host master hostname 10.0.10.8 host 65 hostname 10.0.10.17 host ef hostname 10.0.10.10 host gp hostname 10.0.10.27 host h5 hostname 10.0.10.13 host sa hostname 10.0.10.25 host sv hostname 10.0.10.12
End file
host master hostname 10.0.10.8 host 65 worker1 hostname 10.0.10.17 host ef worker2 hostname 10.0.10.10 host gp worker3 hostname 10.0.10.27 host h5 worker4 hostname 10.0.10.13 host sa worker5 hostname 10.0.10.25 host sv worker6 hostname 10.0.10.12
View Diff
4c4 < host 65 --- > host 65 worker1 7c7 < host ef --- > host ef worker2 10c10 < host gp --- > host gp worker3 13c13 < host h5 --- > host h5 worker4 16c16 < host sa --- > host sa worker5 19c19 < host sv --- > host sv worker6
Solutions by @pseudohommels:
Unlock 1 remaining solutions by signing in and submitting your own entry