diff options
author | Timo Wilken | 2022-11-21 23:59:47 +0100 |
---|---|---|
committer | Timo Wilken | 2022-11-22 00:13:24 +0100 |
commit | f6b442e3d9d5c634fb578dc45d632c37e56a1fac (patch) | |
tree | 9f999840c17de9e1ff79d3c29a6f22eae984a807 /home-configuration.scm | |
parent | 04b77545839b59b38dca9322e4e277c69cddef99 (diff) |
Tweak SSH config
Diffstat (limited to 'home-configuration.scm')
-rw-r--r-- | home-configuration.scm | 12 |
1 files changed, 7 insertions, 5 deletions
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 |