log

age author description
Mon, 23 Dec 2019 11:41:35 +0100 Dirk Olmes add the two helper scripts for gentoo that are requied on all hosts
Sat, 14 Dec 2019 06:17:27 +0100 Dirk Olmes oops we already had a zsh enabling .profile
Sat, 14 Dec 2019 06:13:05 +0100 Dirk Olmes add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh
Fri, 27 Sep 2019 10:54:49 +0200 Dirk Olmes add an alias to go directly to the exentra sources
Fri, 27 Sep 2019 10:11:01 +0200 Dirk Olmes update jdks
Wed, 08 May 2019 13:17:50 +0200 Dirk Olmes add openjdk12
Fri, 03 May 2019 08:40:51 +0200 Dirk Olmes update path to openjdk 11