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
|
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
|