In our environment, we strictly manage what the $HOME/.ssh/config file looks like - we replace it if it doesn't match our exact standard. In our config we allow custom configs in another directory ($HOME/.ssh/config.d). This conflicts with the Jetbrains Coder plugin because the plugin writes custom SSH configs into settings.sshConfigPath which is not configurable.
Please consider making the settings.sshConfigPath setting something that can be overridden. Personally we'd love to see it done as an environment variable... or we would need some programatic way to configure the path for the plugin via the shell.
In our environment, we strictly manage what the
$HOME/.ssh/configfile looks like - we replace it if it doesn't match our exact standard. In our config we allow custom configs in another directory ($HOME/.ssh/config.d). This conflicts with the Jetbrains Coder plugin because the plugin writes custom SSH configs intosettings.sshConfigPathwhich is not configurable.Please consider making the
settings.sshConfigPathsetting something that can be overridden. Personally we'd love to see it done as an environment variable... or we would need some programatic way to configure the path for the plugin via the shell.