tl;dr adds the possibility to set ssh.user = null, which when uses the $USER enviroment variable the username to connect as.
This is e.g. very useful for infrastructure that multiple people should be able to deploy, using their own, local username.
$USER is normally for all user session on any *nix system, set by the login shell/ssh/sudo/etc.
Hi!
tl;dr adds the possibility to set
ssh.user = null, which when uses the$USERenviroment variable the username to connect as. This is e.g. very useful for infrastructure that multiple people should be able to deploy, using their own, local username.$USERis normally for all user session on any *nix system, set by the login shell/ssh/sudo/etc.