From 5019ff7e3a343881961fa4c89dc8458db2f7a883 Mon Sep 17 00:00:00 2001
From: anemofilia <anemofilia@disroot.org>
Date: Sat, 16 Sep 2023 20:07:21 -0300
Subject: [PATCH] chore: Add new openssh-host to home-openssh-service
 configuration

---
 radio.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/radio.scm b/radio.scm
index 2b3e81d..dddc315 100644
--- 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