Merge branch 'master' into linuxmint

2023-02-20 22:06:56 +01:00 · 2023-02-20 22:06:56 +01:00 · 114d98cd7c
commit 114d98cd7c
parent 3be31f7ac1 bc237e82af
8 changed files with 45 additions and 6 deletions
--- a/roles/system/files/ssh_config
+++ b/roles/system/files/ssh_config
@ -0,0 +1,21 @@
+Host brussels
+        HostName brussels.studlab.os3.nl
+        User pkunis
+
+Host github.com
+        HostName github.com
+        User pizzapim
+        IdentitiesOnly yes
+
+Host max
+        HostName max.lan
+        User root
+
+Host lewis
+        HostName lewis.lan
+        User root
+
+Host forgejo
+        HostName git.pim.kunis.nl
+        Port 56287
+        User git