diff options
| -rw-r--r-- | config.fish | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config.fish b/config.fish index 480eb3f..ffcf3d1 100644 --- a/config.fish +++ b/config.fish @@ -36,6 +36,7 @@ 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 -l VAGRANT_DEFAULT_DIR "$HOME/.vagrant.d" set -x GPG_TTY (tty) @@ -64,6 +65,11 @@ end if [ -d "$DOTNET_TOOLS_PATH" ] set -x PATH $PATH "$DOTNET_TOOLS_PATH" end +if [ -d "$VAGRANT_DEFAULT_DIR" ] + set -x VAGRANT_DISABLE_STRICT_DEPENDENCY_ENFORCEMENT "1" + set -x VAGRANT_HOME "$VAGRANT_DEFAULT_DIR" +end + |