From 5e4887dd59999116a0c381aa0131ee36b8e0e3f3 Mon Sep 17 00:00:00 2001
From: Jonas Smedegaard <dr@jones.dk>
Date: Sun, 25 Dec 2022 12:04:36 +0100
Subject: add OpenSSH config files

---
 .gitignore.d/shell                |  7 +++++++
 .ssh/conf.d/20-mail.jones.dk.conf |  3 +++
 .ssh/conf.d/50-debian.org.conf    |  2 ++
 .ssh/conf.d/90-defaults.conf      | 11 +++++++++++
 .ssh/conf.inc/quickbatchmode.conf |  6 ++++++
 .ssh/conf.inc/sharedsessions.conf |  3 +++
 .ssh/conf.inc/via_graograman.conf |  1 +
 .ssh/config                       |  1 +
 8 files changed, 34 insertions(+)
 create mode 100644 .ssh/conf.d/20-mail.jones.dk.conf
 create mode 100644 .ssh/conf.d/50-debian.org.conf
 create mode 100644 .ssh/conf.d/90-defaults.conf
 create mode 100644 .ssh/conf.inc/quickbatchmode.conf
 create mode 100644 .ssh/conf.inc/sharedsessions.conf
 create mode 100644 .ssh/conf.inc/via_graograman.conf
 create mode 100644 .ssh/config

diff --git a/.gitignore.d/shell b/.gitignore.d/shell
index 93ee1e1..221119d 100644
--- a/.gitignore.d/shell
+++ b/.gitignore.d/shell
@@ -1,5 +1,12 @@
 *
+!.gitignore.d
 !.gitignore.d/shell
 !.bash_logout
 !.bashrc
 !.profile
+!.ssh
+!.ssh/conf.d
+!.ssh/conf.d/*.conf
+!.ssh/conf.inc
+!.ssh/conf.inc/*.conf
+!.ssh/config
diff --git a/.ssh/conf.d/20-mail.jones.dk.conf b/.ssh/conf.d/20-mail.jones.dk.conf
new file mode 100644
index 0000000..f592a71
--- /dev/null
+++ b/.ssh/conf.d/20-mail.jones.dk.conf
@@ -0,0 +1,3 @@
+Host mail.jones.dk
+IdentityFile ~/.ssh/id_mail.jones.dk
+Include conf.inc/quickbatchmode.conf
diff --git a/.ssh/conf.d/50-debian.org.conf b/.ssh/conf.d/50-debian.org.conf
new file mode 100644
index 0000000..278f9ba
--- /dev/null
+++ b/.ssh/conf.d/50-debian.org.conf
@@ -0,0 +1,2 @@
+Host *.debian.org
+User js
diff --git a/.ssh/conf.d/90-defaults.conf b/.ssh/conf.d/90-defaults.conf
new file mode 100644
index 0000000..1ac54b7
--- /dev/null
+++ b/.ssh/conf.d/90-defaults.conf
@@ -0,0 +1,11 @@
+Host *
+HashKnownHosts no
+VerifyHostKeyDNS yes
+
+Host * !localhost
+Include conf.inc/sharedsessions.conf
+
+Host * !localhost !*.local
+Compression yes
+#ProxyCommand monkeysphere ssh-proxycommand %h %p
+#ProxyCommand sh -c 'monkeysphere ssh-proxycommand --no-connect "%h" "%p"; corkscrew 10.228.192.210 3128 %h %p /home/jonas/.ssh/auth.guifi.net'
diff --git a/.ssh/conf.inc/quickbatchmode.conf b/.ssh/conf.inc/quickbatchmode.conf
new file mode 100644
index 0000000..05903fa
--- /dev/null
+++ b/.ssh/conf.inc/quickbatchmode.conf
@@ -0,0 +1,6 @@
+BatchMode = yes
+IdentitiesOnly = yes
+RequestTTY = no
+ServerAliveCountMax = 3
+ServerAliveInterval = 10s
+StrictHostKeyChecking = yes
diff --git a/.ssh/conf.inc/sharedsessions.conf b/.ssh/conf.inc/sharedsessions.conf
new file mode 100644
index 0000000..6b98a46
--- /dev/null
+++ b/.ssh/conf.inc/sharedsessions.conf
@@ -0,0 +1,3 @@
+ControlMaster = auto
+ControlPath = ~/.ssh/master-%r@%h:%p
+ControlPersist = 1m
diff --git a/.ssh/conf.inc/via_graograman.conf b/.ssh/conf.inc/via_graograman.conf
new file mode 100644
index 0000000..2e3059a
--- /dev/null
+++ b/.ssh/conf.inc/via_graograman.conf
@@ -0,0 +1 @@
+proxyJump = debian@87.104.11.245
diff --git a/.ssh/config b/.ssh/config
new file mode 100644
index 0000000..1e0990e
--- /dev/null
+++ b/.ssh/config
@@ -0,0 +1 @@
+Include conf.d/*.conf
-- 
cgit v1.2.3