| 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
|
| Tue, 03 Jul 2018 02:24:49 +0200 |
Dirk Olmes |
jdk9 is gone, hello jdk10
|
| Tue, 03 Jul 2018 02:20:39 +0200 |
Dirk Olmes |
update ant path, remove noping
|
| Tue, 19 Jun 2018 07:50:16 +0200 |
Dirk Olmes |
use EX_LOCATION if defined, fall back to EPM_LOCATION
|
| Sun, 13 May 2018 13:56:19 +0200 |
Dirk Olmes |
bugfix for the PATH generation when switching JDKs
|
| Sun, 13 May 2018 13:54:32 +0200 |
Dirk Olmes |
update the jdk support module
|
