diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2023-01-11 11:31:46 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2023-01-11 11:31:46 +0100 |
| commit | ef19ace3c2a7491823f2163c56ff9058abf127d9 (patch) | |
| tree | 02a6af120f357dc0b90566801c59ff9087ee0c43 /zsh/.zshrc | |
| parent | e07fe610a7bfe6b9355ba3c20f4be5c0b03e0438 (diff) | |
Minor changes
Diffstat (limited to 'zsh/.zshrc')
| -rw-r--r-- | zsh/.zshrc | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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/" |