From 12cb89c82e88e035f4ab630f1b9fcebac338dc03 Mon Sep 17 00:00:00 2001 From: Daniel Imms Date: Fri, 19 Apr 2019 09:46:52 -0700 Subject: [PATCH] Make sure Windows bash CLI works with spaces in user name --- resources/win32/bin/code.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/resources/win32/bin/code.sh b/resources/win32/bin/code.sh index cb32d2baf58..d9e3e2476b5 100644 --- a/resources/win32/bin/code.sh +++ b/resources/win32/bin/code.sh @@ -16,7 +16,7 @@ if grep -qi Microsoft /proc/version; then if ! [ -z "$WSL_EXT_WLOC" ]; then # replace \r\n with \n in WSL_EXT_WLOC, get linux path for WSL_CODE=$(wslpath -u "${WSL_EXT_WLOC%%[[:cntrl:]]}")/scripts/wslCode.sh - $WSL_CODE $COMMIT $QUALITY "$WIN_CODE_CMD" "$APP_NAME" "$@" + "$WSL_CODE" $COMMIT $QUALITY "$WIN_CODE_CMD" "$APP_NAME" "$@" exit $? fi fi -- GitLab