zsh-env: revision graph

graph

less more | rev 164: (0) -100 -12 +12 tip

remove the locale hack
2020-01-20, by Dirk Olmes
reset the environment for a proper 24 hour display of time
2020-01-17, by Dirk Olmes
add default aliases for gk and removeKernel
2020-01-09, by Dirk Olmes
Adjust filenames to the old pattern
2020-01-07, by Dirk Olmes
add the two helper scripts for gentoo that are requied on all hosts
2019-12-23, by Dirk Olmes
oops we already had a zsh enabling .profile
2019-12-14, by Dirk Olmes
add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh
2019-12-14, by Dirk Olmes
add an alias to go directly to the exentra sources
2019-09-27, by Dirk Olmes
update jdks
2019-09-27, by Dirk Olmes
add openjdk12
2019-05-08, by Dirk Olmes
update path to openjdk 11
2019-05-03, by Dirk Olmes
add openjdk8
2019-03-07, by Dirk Olmes

less more | rev 164: (0) -100 -12 +12 tip