log

age author description
2020-01-07 Dirk Olmes Adjust filenames to the old pattern
2019-12-23 Dirk Olmes add the two helper scripts for gentoo that are requied on all hosts
2019-12-14 Dirk Olmes oops we already had a zsh enabling .profile
2019-12-14 Dirk Olmes add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh
2019-09-27 Dirk Olmes add an alias to go directly to the exentra sources
2019-09-27 Dirk Olmes update jdks
2019-05-08 Dirk Olmes add openjdk12
2019-05-03 Dirk Olmes update path to openjdk 11
2019-03-07 Dirk Olmes add openjdk8
2019-02-04 Dirk Olmes update JDK11 path
2018-12-05 Dirk Olmes move the upload alias to a more generic place
2018-11-12 Dirk Olmes added another alias for docker
2018-11-12 Dirk Olmes bye bye, nedit
2018-10-23 Dirk Olmes use the openjdk-bin ebuild from gentoo