src/Pure/System/linux.scala
Thu, 19 Dec 2019 22:21:43 +0100 wenzelm more robust;
Sat, 14 Dec 2019 16:56:26 +0100 wenzelm avoid odd (harmless) problem with Mercurial 4.5.3 provided by Ubuntu 18.04 on first push: "couldn't write revision branch cache names";
Tue, 10 Dec 2019 21:05:07 +0100 wenzelm proper check of Linux version;
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