Revert "Who needs cargo when you have lake!" This reverts commit c18699f50d403e259b243b149328a16f23a371b2.

Changes

1 changed files (+1/-0)

• fish/config.fish
  • @@ -21,6 +21,7 @@ set -gx __fish_git_prompt_show_informative_status 1
    set -gx EDITOR micro # Proglangs set -gx PYTHON_HISTORY ~/.local/state/python_history + set -gx CARGO_HOME ~/.local/share/cargo set -gx DOT_SAGE ~/.config/sage # For typing Lean special chars set -gx XCOMPOSEFILE ~/.config/X11/xcompose