Changeset 12233 in genesis

Timestamp:

Apr 11, 2013, 5:34:28 AM (12 years ago)

Author:

rick

Message:

Quick hack to generate $HOME/.ssh/config, allowing me to login faster using
ssh zwet instead of ssh root@…

File:

• tools/gformat.py (modified) (1 diff)

tools/gformat.py

@@ -1933 +1933 @@
           datadump = get_yaml(system)
           print system, datadump['rdnap_x'], datadump['rdnap_y']
+      elif sys.argv[2] == 'ssh_config':
+        print  '''
+Host *.wleiden.net
+  User root
+
+Host 172.16.*.*
+  User root
+'''
+        for system in get_hostlist():
+          datadump = get_yaml(system)
+          print '''\
+Host %s
+  User root
+
+Host %s
+  User root
+
+Host %s
+  User root
+
+Host %s
+  User root
+''' % (system, system.lower(), datadump['nodename'], datadump['nodename'].lower())
       else:
         usage()