summaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authorTimo Weingärtner <timo@tiwe.de>2015-02-17 19:56:01 +0100
committerTimo Weingärtner <timo@tiwe.de>2015-02-17 19:56:01 +0100
commit940b40dc566ea6a8370c58185d3705d405f97c00 (patch)
treee85e9e001676d8f872d497e385fc8df8d6e9cbc2 /examples
parent340dd6ac7ce13d695018f570431ff1a5f2108b04 (diff)
parent5759da2f6316fccc56d722e06d6e4bdda26251be (diff)
downloadopenssh-known-hosts-940b40dc566ea6a8370c58185d3705d405f97c00.tar.gz
Merge tag '0.6.2' into debian
release 0.6.2
Diffstat (limited to 'examples')
-rw-r--r--examples/debian4
-rw-r--r--examples/debian.filter2
-rw-r--r--examples/kit_edu5
-rw-r--r--examples/kit_edu.filter2
4 files changed, 13 insertions, 0 deletions
diff --git a/examples/debian b/examples/debian
new file mode 100644
index 0000000..cb3b19e
--- /dev/null
+++ b/examples/debian
@@ -0,0 +1,4 @@
+PLUGIN=curl
+EXIT_IGNORE='6 7 28'
+
+URL='https://db.debian.org/debian_known_hosts'
diff --git a/examples/debian.filter b/examples/debian.filter
new file mode 100644
index 0000000..d17590f
--- /dev/null
+++ b/examples/debian.filter
@@ -0,0 +1,2 @@
+allow \.debian\.org$
+allow \.debian\.net$
diff --git a/examples/kit_edu b/examples/kit_edu
new file mode 100644
index 0000000..e676499
--- /dev/null
+++ b/examples/kit_edu
@@ -0,0 +1,5 @@
+PLUGIN=curl
+EXIT_IGNORE='6 7 28'
+
+CURL_OPTIONS='--connect-timeout 10'
+URL='https://rzadmin.rz.uni-karlsruhe.de/openssh/ssh_known_hosts'
diff --git a/examples/kit_edu.filter b/examples/kit_edu.filter
new file mode 100644
index 0000000..556ab25
--- /dev/null
+++ b/examples/kit_edu.filter
@@ -0,0 +1,2 @@
+allow \.(fzk|uka|uni-karlsruhe)\.de$
+allow \.kit\.edu$