#! /usr/bin/patch -p0
# $Header: /global/src/etc/cl-manage-scripts/patches/RCS/P-ssh_config-ssh_known_hosts-out,v 1.3 2007/07/12 09:19:33 pb22 Exp $
# patch to allow use of CL known ssh host keys
# patch-file matches = /etc/ssh/ssh_known_hosts-out
# Process using /usr/bin/cl-patch-file unless matching the above
--- /etc/ssh/ssh_config	2006-03-02 21:42:05.000000000 +0000
+++ /etc/ssh/ssh_config	2006-09-03 20:26:46.000000000 +0100
@@ -47,1 +47,3 @@
 Host *
+	# cl.cam.ac.uk list of known host keys
+	GlobalKnownHostsFile /etc/ssh/ssh_known_hosts-out
