Thu, 03 Jan 2019 12:34:26 +0100 | wenzelm | tuned; | changeset | files |
Wed, 02 Jan 2019 21:18:35 +0100 | wenzelm | strict bash invocation: proper error checking; | changeset | files |
Wed, 02 Jan 2019 20:20:01 +0100 | wenzelm | more robust system channel via options that are private to the user; | changeset | files |