guix/gnu/home/services
Saku Laesvuori 9043e23196
home: services: openssh: Add configuration option for jump proxies
Add a new 'proxy' field to openssh-host to allow ProxyCommand or
ProxyJump, but not both, to be configured. Configuring both would cause
the serialization order to determine which one is used. Deprecate the
'proxy-command' field because the 'proxy' field replaces it.

* gnu/home/services/ssh.scm (proxy-jump->string,
proxy-command-or-jump-list?, serialize-proxy-command-or-jump-list,
sanitize-proxy-command): New procedure.
(proxy-jump, proxy-command): New record type.
(openssh-host)[proxy-command]: Mark field as deprecated because OpenSSH
can't have ProxyCommand and ProxyJump configured at the same time.
* doc/guix.texi (Secure Shell): Update to match the changes to the
service.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2023-04-21 17:09:50 +02:00
..
desktop.scm home: services: Export home-xmodmap-service-type and configuration. 2023-03-26 19:57:07 +02:00
fontutils.scm home: services: fontutils: Add service value. 2023-01-31 23:08:38 +01:00
gnupg.scm home: Add gpg-agent service. 2023-04-08 22:56:19 +02:00
guix.scm
mcron.scm
media.scm home: services: kodi, znc, ssh-agent: Use 'match-record'. 2023-03-16 23:03:17 +01:00
messaging.scm home: services: kodi, znc, ssh-agent: Use 'match-record'. 2023-03-16 23:03:17 +01:00
pm.scm
shells.scm services: replace bare serializers with (serializer ...) 2023-04-02 12:35:30 +02:00
shepherd.scm
sound.scm home: services: Add 'pulseaudio-rtp-sink' and 'pulseaudio-rtp-source'. 2023-03-05 23:06:55 +01:00
ssh.scm home: services: openssh: Add configuration option for jump proxies 2023-04-21 17:09:50 +02:00
symlink-manager.scm
utils.scm
xdg.scm home: xdg-base-directories: Set correct value for XDG_STATE_HOME. 2023-04-07 09:07:32 +04:00