| 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
|
| Fri, 03 May 2019 08:40:51 +0200 |
Dirk Olmes |
update path to openjdk 11
|
| Thu, 07 Mar 2019 04:37:47 +0100 |
Dirk Olmes |
add openjdk8
|
| Mon, 04 Feb 2019 09:29:36 +0100 |
Dirk Olmes |
update JDK11 path
|
| Wed, 05 Dec 2018 14:42:13 +0100 |
Dirk Olmes |
move the upload alias to a more generic place
|
| Mon, 12 Nov 2018 13:27:45 +0100 |
Dirk Olmes |
added another alias for docker
|
| Mon, 12 Nov 2018 13:23:37 +0100 |
Dirk Olmes |
bye bye, nedit
|
| Tue, 23 Oct 2018 17:43:25 +0200 |
Dirk Olmes |
use the openjdk-bin ebuild from gentoo
|
| Tue, 23 Oct 2018 17:37:22 +0200 |
Dirk Olmes |
add an alias for sudo typos
|
| Tue, 23 Oct 2018 17:36:59 +0200 |
Dirk Olmes |
update to jdk11
|
| Mon, 17 Sep 2018 09:20:52 +0200 |
Dirk Olmes |
alias for youtube downloading
|
| Mon, 17 Sep 2018 09:19:03 +0200 |
Dirk Olmes |
include sudo
|
| Mon, 03 Sep 2018 13:11:19 +0200 |
Dirk Olmes |
change version of JDK10
|
| Fri, 06 Jul 2018 05:47:10 +0200 |
Dirk Olmes |
remove obsolete alias
|
| Thu, 05 Jul 2018 04:58:14 +0200 |
Dirk Olmes |
add more helper functions
|
| Wed, 04 Jul 2018 17:04:39 +0200 |
Dirk Olmes |
add alias to ping a public IP
|
| Wed, 04 Jul 2018 17:03:00 +0200 |
Dirk Olmes |
Automated merge with https://localhost/hg/zsh-env
|
| Wed, 04 Jul 2018 17:02:49 +0200 |
Dirk Olmes |
xanthippe features IPv6 now
|
| Wed, 04 Jul 2018 12:23:47 +0200 |
Dirk Olmes |
rearrange the fields to be more copy/paste friendly
|
| Wed, 04 Jul 2018 10:34:22 +0200 |
Dirk Olmes |
add another alias for listing docker images with size
|
