diff options
author | Urbain Vaes <urbain@vaes.uk> | 2019-11-16 16:06:59 +0000 |
---|---|---|
committer | Urbain Vaes <urbain@vaes.uk> | 2019-11-16 16:06:59 +0000 |
commit | 246f4416bc57abaa8653e43b319cc34036272166 (patch) | |
tree | 5fc151f9b7cf05c3fcdb6633e323bb818409468a /zsh | |
parent | 2ceab4a7b7f91087475ab2370b880e1759b72c85 (diff) |
Add tentative lsp configuration
Diffstat (limited to 'zsh')
-rw-r--r-- | zsh/.zshenv | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/zsh/.zshenv b/zsh/.zshenv index 7917e82..ae9fd6b 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 |