From 0a10f4b91f057e64d33702db1ef40e04816b18f8 Mon Sep 17 00:00:00 2001 From: ache Date: Mon, 11 Dec 2023 03:02:16 +0100 Subject: Support dotnet --- config.fish | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'config.fish') 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) -- cgit v1.2.3