Mercurial > hg > zsh-env
graph
-
use java-config again for selecting JDKsWed, 19 Feb 2020 08:20:33 +0100, by Dirk Olmes
-
remove the locale hackMon, 20 Jan 2020 10:12:48 +0100, by Dirk Olmes
-
reset the environment for a proper 24 hour display of timeFri, 17 Jan 2020 15:29:03 +0100, by Dirk Olmes
-
add default aliases for gk and removeKernelThu, 09 Jan 2020 13:03:20 +0100, by Dirk Olmes
-
Adjust filenames to the old patternTue, 07 Jan 2020 15:27:52 +0100, by Dirk Olmes
-
add the two helper scripts for gentoo that are requied on all hostsMon, 23 Dec 2019 11:41:35 +0100, by Dirk Olmes
-
oops we already had a zsh enabling .profileSat, 14 Dec 2019 06:17:27 +0100, by Dirk Olmes
-
add a default .profile which runs a zsh. This comes in handy on systems where you cannot chshSat, 14 Dec 2019 06:13:05 +0100, by Dirk Olmes
-
add an alias to go directly to the exentra sourcesFri, 27 Sep 2019 10:54:49 +0200, by Dirk Olmes
-
update jdksFri, 27 Sep 2019 10:11:01 +0200, by Dirk Olmes
-
add openjdk12Wed, 08 May 2019 13:17:50 +0200, by Dirk Olmes
-
update path to openjdk 11Fri, 03 May 2019 08:40:51 +0200, by Dirk Olmes
-
add openjdk8Thu, 07 Mar 2019 04:37:47 +0100, by Dirk Olmes
-
update JDK11 pathMon, 04 Feb 2019 09:29:36 +0100, by Dirk Olmes
-
move the upload alias to a more generic placeWed, 05 Dec 2018 14:42:13 +0100, by Dirk Olmes