diff options
author | Daniel Friesel <derf@derf.homelinux.org> | 2010-08-27 08:23:32 +0200 |
---|---|---|
committer | Daniel Friesel <derf@derf.homelinux.org> | 2010-08-27 08:23:32 +0200 |
commit | efa5f84d966c8edf99a2f5b892166f524dac4d1a (patch) | |
tree | 55e48e5808155645ec977dba16022b1515cb2b91 /etc | |
parent | 4278ce74b8317b1d6e070d76960afc9c49c2a12b (diff) |
Set http proxy if available
Diffstat (limited to 'etc')
-rw-r--r-- | etc/.zshrc | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -72,6 +72,10 @@ if (( EUID != 0)) { export MAKEFLAGS=j$(grep -c '^processor' /proc/cpuinfo) +if [[ -e /sys/class/net/vpn ]] { + export http_proxy='http://10.200.200.2:8080/' +} + if [[ -n ${commands[clang]} ]] { export CC=clang } |