Mercurial > hg > zsh-env
log
| age | author | description |
|---|---|---|
| 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 |
| Sat, 14 Dec 2019 06:13:05 +0100 | Dirk Olmes | add a default .profile which runs a zsh. This comes in handy on systems where you cannot chsh |
| Fri, 27 Sep 2019 10:54:49 +0200 | Dirk Olmes | add an alias to go directly to the exentra sources |
| Fri, 27 Sep 2019 10:11:01 +0200 | Dirk Olmes | update jdks |
| Wed, 08 May 2019 13:17:50 +0200 | Dirk Olmes | add openjdk12 |