diff options
author | Urbain Vaes <urbain@vaes.uk> | 2020-10-02 10:16:37 +0100 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2020-10-02 10:16:37 +0100 |
commit | 93eab33d13f8f30c8ba0088f20721d14c981fd16 (patch) | |
tree | 81625a57a7e915f3fe539fe3ccfd5bea3a7af22d /zsh/.zshenv | |
parent | 60496da375fa7355a0f01d0e3dd6bf8afc46ffe5 (diff) | |
parent | 104ca1e11721518f9224527459e8506a858692c9 (diff) |
Merge branch 'master' of localhost:public/dotfiles into master
Diffstat (limited to 'zsh/.zshenv')
-rw-r--r-- | zsh/.zshenv | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/zsh/.zshenv b/zsh/.zshenv index 7991bf1..cb36a13 100644 --- a/zsh/.zshenv +++ b/zsh/.zshenv @@ -8,6 +8,9 @@ export -U PATH="/usr/local/sbin${PATH:+:}$PATH" export -U PATH="/usr/bin${PATH:+:}$PATH" export -U PATH="/usr/local/sbin:/usr/local/bin${PATH:+:}$PATH" +# Necessary for fenics to work +export PYTHONPATH="/usr/lib/python3.7/site-packages/:/usr/lib/python3.8/site-packages/" + if [[ -d "$HOME/.gem/ruby" ]]; then export -U PATH=$(echo "$HOME/.gem/ruby/"*"/bin")"${PATH:+:}$PATH" fi |