diff options
Diffstat (limited to 'zsh/.config')
-rw-r--r-- | zsh/.config/zsh/.zshenv | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/zsh/.config/zsh/.zshenv b/zsh/.config/zsh/.zshenv index 4a6a387..85815a6 100644 --- a/zsh/.config/zsh/.zshenv +++ b/zsh/.config/zsh/.zshenv @@ -65,6 +65,7 @@ export HISTORY_IGNORE="(ls|cd|pwd|exit|sudo reboot|history|cd -|cd ..|clear|fg)" export GDBHISTFILE="$XDG_DATA_HOME"/gdb/history export SONARLINT_USER_HOME="$XDG_DATA_HOME/sonarlint" export OMNISHARPHOME="$XDG_CONFIG_HOME"/omnisharp +export MIX_XDG=true # Other program settings: export DOTNET_CLI_TELEMETRY_OPTOUT=1 |