Easy modification of ssh config

Just add another alias to each worker

Input

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

Output

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