-
-
Save pierr/68c0010ad78172c75041 to your computer and use it in GitHub Desktop.
Bash profile
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
export PYTHONPATH=/c/Python27/ | |
export GYP_MSVS_VERSION=2015 | |
# Environment variables | |
export ATOM_NODE_URL=http://gh-contractor-zcbenz.s3.amazonaws.com/atom-shell/dist | |
GIT="/c/Program Files/Git/bin;/c/Program Files/Git/mingw64/libexec/git-core" | |
PATH="$GIT;$PATH" | |
# Variables | |
GATEWAY="$(ipconfig | grep -a Passerelle | grep -P -o -a '([0-9]+\.){3}[0-9]+')" | |
PROXY="http://172.20.0.9:3128" | |
KLEE_GATEWAY="172.20.231.1" | |
echo $G | |
if [ "$GATEWAY" == "$KLEE_GATEWAY" ] | |
then | |
# Define the proxy variables. | |
export HTTPS_PROXY=$PROXY | |
export HTTP_PROXY=$PROXY | |
export no_proxy=localhost,klee.lan.net | |
git config http.proxy $PROXY | |
git config https.proxy $PROXY | |
npm config set http_proxy $PROXY | |
npm config set https_proxy $PROXY | |
else | |
git config --unset http.proxy | |
git config --unset https.proxy | |
npm config delete http_proxy | |
npm config delete https_proxy | |
fi |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment