From ef19ace3c2a7491823f2163c56ff9058abf127d9 Mon Sep 17 00:00:00 2001 From: Urbain Vaes Date: Wed, 11 Jan 2023 11:31:46 +0100 Subject: Minor changes --- zsh/.zshrc | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'zsh/.zshrc') 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/" -- cgit v1.2.3