summaryrefslogtreecommitdiff
path: root/zsh
diff options
context:
space:
mode:
Diffstat (limited to 'zsh')
-rw-r--r--zsh/.zshrc5
1 files changed, 5 insertions, 0 deletions
diff --git a/zsh/.zshrc b/zsh/.zshrc
index 9eed1ae..5003c37 100644
--- a/zsh/.zshrc
+++ b/zsh/.zshrc
@@ -153,3 +153,8 @@ alias wacom="xsetwacom --set 'Wacom One by Wacom S Pen stylus' mode relative"
alias ..="cd .."
alias ...="cd ../.."
alias ls="ls --color=auto"
+
+# export HTTPS_PROXY="http://proxy.enpc.fr:3128/"
+# export HTTP_PROXY="http://proxy.enpc.fr:3128/"
+# export ftp_proxy="http://proxy.enpc.fr:3128/"
+# export FTP_PROXY="http://proxy.enpc.fr:3128/"