Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-05-11 | add ssh remote backend and streamapi wrapper | Helmut Grohne | |
The ssh backend calls into another host and passes all information on stdin/stdout/stderr. To do so, it uses a streamapi wrapper on the remote side that itself calls into a regular backend. |