| Thu, 15 Sep 2022 12:37:49 +0200 | wenzelm | more robust, notably for macOS (see also ff92d6edff2c); | changeset | files |
| Thu, 15 Sep 2022 12:26:51 +0200 | wenzelm | back to plain /tmp (despite 1df53737c59b): relevant for ssh on macOS, to avoid error "unix_listener: path too long for Unix domain socket"; | changeset | files |
| Thu, 15 Sep 2022 12:08:35 +0200 | wenzelm | tuned names; | changeset | files |