ssh: add setEnv option (#3935)

This commit is contained in:
Gaétan Lepage 2023-05-11 14:22:40 +02:00 committed by GitHub
parent 2f6a917ade
commit 6be873663e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 20 additions and 0 deletions

View file

@ -5,6 +5,7 @@ Host * !github.com
Host abc
ProxyJump jump-host
Host xyz
SetEnv BAR="_bar_ 42" FOO="foo12"
ServerAliveInterval 60
ServerAliveCountMax 10
IdentityFile file

View file

@ -35,6 +35,10 @@ with lib;
}
];
dynamicForwards = [{ port = 2839; }];
setEnv = {
FOO = "foo12";
BAR = "_bar_ 42";
};
};
"* !github.com" = {