Index: /tools/gformat.py
===================================================================
--- /tools/gformat.py	(revision 12232)
+++ /tools/gformat.py	(revision 12233)
@@ -1933,4 +1933,27 @@
           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()