From f6b442e3d9d5c634fb578dc45d632c37e56a1fac Mon Sep 17 00:00:00 2001 From: Timo Wilken Date: Mon, 21 Nov 2022 23:59:47 +0100 Subject: Tweak SSH config --- home-configuration.scm | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) (limited to 'home-configuration.scm') diff --git a/home-configuration.scm b/home-configuration.scm index 98ec47a9..26422657 100644 --- a/home-configuration.scm +++ b/home-configuration.scm @@ -688,22 +688,24 @@ ProxyJump \"twilken@lxplus.cern.ch\" (extra-content "ProxyJump none")) ,(openssh-host (name "twilkendesktop.cern.ch") (port 22022) - (forward-x11? #t)) + (forward-x11? #t) + (extra-content (cern-extra-content #t))) ,@(map (lambda (host user) (openssh-host (name host) (user user) - (identity-file "~/.local/share/ssh-keys/alicern_id_rsa") - (extra-content (cern-extra-content #f)))) + (identity-file "~/.local/share/ssh-keys/alicern_id_rsa"))) (map car cern-ci-hosts/users) (map cdr cern-ci-hosts/users)) ,(openssh-host (name "*.cern.ch") (user "twilken") (identity-file "~/.local/share/ssh-keys/cern_id_rsa") - (extra-content (cern-extra-content #t))) + (extra-content (cern-extra-content #f))) ;; Default SSH key. This isn't in ~/.ssh as `home-openssh-service-type' ;; manages that and might delete keys there. ,(openssh-host (name "*") - (identity-file "~/.local/share/ssh-keys/id_rsa"))))))) + (identity-file "~/.local/share/ssh-keys/id_rsa") + ;; Remote servers probably don't know about xterm-kitty. + (extra-content "SetEnv TERM=xterm-256color"))))))) (simple-service ; this can't be a `service' as that would remove the 'guix channel 'nonfree-channels home-channels-service-type -- cgit v1.2.3