The SSH provider reads the list from ~/.ssh/config. This can be very limiting when the list of remote machines you need to work with changes dynamically (some cloud workflows), or when ~/.ssh/config is mostly rules on patterns rather than a single concrete hostname per entry.
It would be nice if we could have a Lua API to change that list on the fly.
The SSH provider reads the list from
~/.ssh/config
. This can be very limiting when the list of remote machines you need to work with changes dynamically (some cloud workflows), or when~/.ssh/config
is mostly rules on patterns rather than a single concrete hostname per entry.It would be nice if we could have a Lua API to change that list on the fly.