diff options
| author | Nicolas Graves <ngraves@ngraves.fr> | 2023-06-05 14:34:48 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-06-09 23:28:45 +0200 |
| commit | 9504dd2c3eef0277369acc0944f87fb4546251b1 (patch) | |
| tree | 7ab8ce98a555e6ffc99afe6767574a3cdc3ee055 /gnu/home | |
| parent | b97f158456fd1856cebea6ef74484b489bdcf350 (diff) | |
home: services: ssh: Export home-ssh-agent variables.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/home')
| -rw-r--r-- | gnu/home/services/ssh.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnu/home/services/ssh.scm b/gnu/home/services/ssh.scm index 2802bdaeeb..2e841596e4 100644 --- a/gnu/home/services/ssh.scm +++ b/gnu/home/services/ssh.scm @@ -46,7 +46,11 @@ home-openssh-configuration-hosts home-openssh-configuration-add-keys-to-agent home-openssh-configuration? + home-ssh-agent-configuration + home-ssh-agent-openssh + home-ssh-agent-socket-directory + home-ssh-agent-extra-options home-ssh-agent-configuration? openssh-host |