bashrc: work around mintty/wsltty#197

wjrogers · Jul 3, 2020 · 8050efb · 8050efb
1 parent 5dd7211
commit 8050efb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/home/.bashrc b/home/.bashrc
@@ -1,6 +1,11 @@
 # Check for an interactive session
 [ -z "$PS1" ] && return
 
+# work around https://github.com/mintty/wsltty/issues/197
+if [[ -n "$WSL_DISTRO_NAME" ]]; then
+  command -v cmd.exe > /dev/null || return
+fi
+
 # shell options
 shopt -s checkwinsize
 shopt -s histappend