From ef19ace3c2a7491823f2163c56ff9058abf127d9 Mon Sep 17 00:00:00 2001 From: Urbain Vaes Date: Wed, 11 Jan 2023 11:31:46 +0100 Subject: Minor changes --- vim/.vim/spell/en.utf-8.add | 5 +++++ zsh/.zshrc | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/vim/.vim/spell/en.utf-8.add b/vim/.vim/spell/en.utf-8.add index d34bfa0..488d5eb 100644 --- a/vim/.vim/spell/en.utf-8.add +++ b/vim/.vim/spell/en.utf-8.add @@ -83,3 +83,8 @@ Stoltz semigroups infimum significand +pseudoinverse +nonpositive +Schwarz +pushforward +submultiplicative 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