annotate zshrc-vpn @ 132:7f20ec5f5726

bugfix for the PATH generation when switching JDKs
author Dirk Olmes <dirk@xanthippe.ping.de>
date Sun, 13 May 2018 13:56:19 +0200
parents 857bc5e55998
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
88
857bc5e55998 add support for the exentra VPN
Dirk Olmes <dirk@xanthippe.ping.de>
parents:
diff changeset
1 alias p11="ping 10.0.0.11"