| Wed, 14 Sep 2022 21:14:32 +0200 | wenzelm | more robust: do not assume Bash syntax while testing for it; | changeset | files |
| Wed, 14 Sep 2022 17:35:38 +0200 | wenzelm | obsolete; | changeset | files |
| Wed, 14 Sep 2022 17:32:56 +0200 | wenzelm | merged | changeset | files |
| Wed, 14 Sep 2022 16:46:00 +0200 | wenzelm | proper treatment of complex multi-line script; | changeset | files |
| Wed, 14 Sep 2022 15:57:47 +0200 | wenzelm | more robust; | changeset | files |
| Wed, 14 Sep 2022 15:42:24 +0200 | wenzelm | more robust: Bash.string operations require remote bash; | changeset | files |
| Wed, 14 Sep 2022 14:59:01 +0200 | wenzelm | support port forwarding without multiplexing (for the sake of Windows); | changeset | files |