chore: Add new openssh-host to home-openssh-service configuration

2023-09-16 20:07:21 -03:00 · 2023-09-16 20:07:21 -03:00 · 5019ff7e3a
parent debab7068a
commit 5019ff7e3a
1 changed files with 7 additions and 1 deletions
--- a/radio.scm
+++ b/radio.scm
@ -298,7 +298,13 @@
                                (name "codeberg.org")
                                (host-name "codeberg.org")
                                (user "git")
-                                (identity-file "~/.ssh/codeberg"))))
+                                (identity-file "~/.ssh/codeberg"))
+                               (openssh-host
+                                (name "*.onion")
+                                (identity-file "~/.ssh/codeberg")
+                                (proxy
+                                 (proxy-command
+                                  "nc -x 127.0.0.1:9050 -X5 %h %p")))))
                  (authorized-keys #f)))

        (service home-gpg-agent-service-type