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
|