From 01f6f42d0dca61c59d74609f6d602bd12b435acc Mon Sep 17 00:00:00 2001 From: Jeff Geerling Date: Wed, 19 Feb 2014 13:59:59 -0600 Subject: [PATCH] Add route_delete() command. --- .bash_profile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/.bash_profile b/.bash_profile index 5ef149f..08f2786 100644 --- a/.bash_profile +++ b/.bash_profile @@ -25,10 +25,15 @@ then fi # Route local traffic over ethernet when using certain WiFi networks w/o proxy. -function net_route() { +function route_add() { sudo route add -net 10.0.0.0/8 -interface en0 } +# Delete the route added above. +function route_delete() { + sudo route delete 10.0.0.0 +} + # Git aliases. alias gs='git status' alias gc='git commit'