src/Pure/System/linux.scala
Tue, 10 Dec 2019 16:45:56 +0100 wenzelm support for pwgen;
Thu, 14 Nov 2019 11:36:14 +0100 wenzelm tuned;
Thu, 14 Nov 2019 11:35:02 +0100 wenzelm clarified signature;
Wed, 13 Nov 2019 18:30:43 +0100 wenzelm more robust: system ssh service is required for Phabricator ssh service;
Wed, 13 Nov 2019 16:50:48 +0100 wenzelm more robust;
Wed, 13 Nov 2019 13:28:58 +0100 wenzelm clarified signature;
Tue, 05 Nov 2019 22:00:29 +0100 wenzelm prefer system user setup, e.g. avoid occurrence on login screen;
Tue, 05 Nov 2019 20:47:15 +0100 wenzelm more phabricator setup;
Tue, 05 Nov 2019 16:47:59 +0100 wenzelm support for system services;
Tue, 05 Nov 2019 14:16:16 +0100 wenzelm support for Linux user management;
Tue, 29 Oct 2019 19:42:40 +0100 wenzelm support for Linux packages;
Tue, 29 Oct 2019 18:08:24 +0100 wenzelm specific support for Linux, notably Ubuntu/Debian;
less more (0) tip