diff options
Diffstat (limited to 'home-dots')
| -rw-r--r-- | home-dots/dot-bashrc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/home-dots/dot-bashrc b/home-dots/dot-bashrc index 6ba76e8..3286e43 100644 --- a/home-dots/dot-bashrc +++ b/home-dots/dot-bashrc @@ -64,6 +64,9 @@ if [ "${gnupg_SSH_AUTH_SOCK_by:-0}" -ne $$ ]; then export SSH_AUTH_SOCK="$(gpgconf --list-dirs agent-ssh-socket)" fi +# For python lsp +export DOTNET_SYSTEM_GLOBALIZATION_INVARIANT=1 + alias isrun='ps -ae | grep' alias gdimg='git difftool -t image_diff' alias G='grep -i' |