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'