diff options
| -rw-r--r-- | vim/.vim/spell/en.utf-8.add | 5 | ||||
| -rw-r--r-- | zsh/.zshrc | 5 |
2 files changed, 10 insertions, 0 deletions
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 @@ -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/" |