Skip to content

Commit

Permalink
wsl2 workaround no longer necessary
Browse files Browse the repository at this point in the history
  • Loading branch information
aeschli committed Sep 3, 2019
1 parent 089d220 commit 587c673
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion resources/win32/bin/code.sh
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@ if grep -qi Microsoft /proc/version; then
WSL_BUILD=0
fi

if [ $WSL_BUILD -ge 17063 ]; then
if [ $WSL_BUILD -ge 41955 -a $WSL_BUILD -lt 41959 ]; then
# $WSL_DISTRO_NAME is available since WSL builds 18362, also for WSL2
# WSLPATH is available since WSL build 17046
# WSLENV is available since WSL build 17063
Expand Down

0 comments on commit 587c673

Please sign in to comment.