dotfiles/zsh
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix: finally a reliable option to set proxy or not..

Browse source
This commit is contained in:
piecka 2025-03-25 09:25:31 +01:00
parent 78d44ea65a
commit f7019152eb
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.zprofile
View file

@ -39,3 +39,9 @@ proxy() {
noproxy() { noproxy() {
unset {HTTP_PROXY,HTTPS_PROXY,http_proxy,https_proxy} unset {HTTP_PROXY,HTTPS_PROXY,http_proxy,https_proxy}
} }
if ping -w2 -q swu.dom; then
proxy
else
noproxy
fi