more robust: Bash.string operations require remote bash;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE769ebb139a32: support port forwarding without multiplexing (for the sake of Windows);
- Branches
- Unknown
- Tags