zsh-env: revision graph

oops we already had a zsh enabling .profile
Sat, 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 chsh
Sat, 14 Dec 2019 06:13:05 +0100, by Dirk Olmes
add an alias to go directly to the exentra sources
Fri, 27 Sep 2019 10:54:49 +0200, by Dirk Olmes
update jdks
Fri, 27 Sep 2019 10:11:01 +0200, by Dirk Olmes
add openjdk12
Wed, 08 May 2019 13:17:50 +0200, by Dirk Olmes
update path to openjdk 11
Fri, 03 May 2019 08:40:51 +0200, by Dirk Olmes
add openjdk8
Thu, 07 Mar 2019 04:37:47 +0100, by Dirk Olmes
update JDK11 path
Mon, 04 Feb 2019 09:29:36 +0100, by Dirk Olmes

Mercurial > hg > zsh-env