Lean is so much better, why would I ever Julia again

Changes

1 changed files (+1/-7)

• fish/config.fish
  • @@ -21,18 +21,12 @@ abbr -a -- q 'git pull'
    abbr -a -- s 'git status' abbr -a --set-cursor -- t 'kioclient move % trash:/' - # Actually ctrl-backspace - # fish_key_reader detects it as ctrl-h + # Actually ctrl-backspace but fish_key_reader detects it as ctrl-h bind ctrl-h backward-kill-word # The best worst editor ever set -gx EDITOR micro - - # Programming stuff set -gx PYTHON_HISTORY ~/.local/state/python_history set -gx CARGO_HOME ~/.local/share/cargo - # Trailing : is necessary! - # https://docs.julialang.org/en/v1/manual/environment-variables/#JULIA_DEPOT_PATH - set -gx JULIA_DEPOT_PATH ~/.local/share/julia: # Lean toolchains are huge so put them in ~/.cache which doesn't get backed up set -gx ELAN_HOME ~/.cache/elan