diff options
| -rw-r--r-- | config.fish | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config.fish b/config.fish index 40d7f45..fcce7ae 100644 --- a/config.fish +++ b/config.fish @@ -35,6 +35,7 @@ set -x RUST_PATH "$HOME/.cargo" set -x DEVKITPRO_DIR "/opt/devkitpro" set -x EMSCRIPTEN_PATH "/usr/lib/emscripten" set -x JUPYTERLAB_DIR "$HOME/.local/share/jupyterlab" +set -x DOTNET_TOOLS_PATH "$HOME/.dotnet/tools" set -x GPG_TTY (tty) @@ -56,6 +57,9 @@ end if [ -d "$EMSCRIPTEN_PATH" ] set -x PATH $PATH "$EMSCRIPTEN_PATH" end +if [ -d "$DOTNET_TOOLS_PATH" ] + set -x PATH $PATH "$DOTNET_TOOLS_PATH" +end if [ -d "$LEAN_PATH" ] set -x PATH $PATH "$LEAN_PATH" @@ -93,6 +97,7 @@ end set -x fish_emoji_width 2 +load-em if test -e ~/.dircolors eval (dircolors -c ~/.dircolors) |