Mercurial > hg > zsh-env
log
age | author | description |
---|---|---|
Wed, 19 Feb 2020 08:20:33 +0100 | Dirk Olmes | use java-config again for selecting JDKs |
Mon, 20 Jan 2020 10:12:48 +0100 | Dirk Olmes | remove the locale hack |
Fri, 17 Jan 2020 15:29:03 +0100 | Dirk Olmes | reset the environment for a proper 24 hour display of time |
Thu, 09 Jan 2020 13:03:20 +0100 | Dirk Olmes | add default aliases for gk and removeKernel |
Tue, 07 Jan 2020 15:27:52 +0100 | Dirk Olmes | Adjust filenames to the old pattern |
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 |