Add lean
This commit is contained in:
parent
5c071a4fdf
commit
cf90ca0f7b
3
.bashrc
3
.bashrc
@ -44,6 +44,9 @@ export _JAVA_AWT_WM_NONREPARENTING=1
|
|||||||
# use vim as editor
|
# use vim as editor
|
||||||
export EDITOR="/usr/bin/nvim"
|
export EDITOR="/usr/bin/nvim"
|
||||||
|
|
||||||
|
# Add elan to PATH
|
||||||
|
export PATH="$HOME/.elan/bin:$PATH"
|
||||||
|
|
||||||
# pyenv
|
# pyenv
|
||||||
export PYENV_ROOT="$HOME/.pyenv"
|
export PYENV_ROOT="$HOME/.pyenv"
|
||||||
export PATH="$PYENV_ROOT/versions/bin/3.8.12/bin:$PATH"
|
export PATH="$PYENV_ROOT/versions/bin/3.8.12/bin:$PATH"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user