From 719fc2047bd9f7823509944bd1e856ac8da71fed Mon Sep 17 00:00:00 2001 From: Luca Pizzamiglio Date: Mon, 23 Dec 2019 17:23:22 +0000 Subject: editors/vscode: Add new port Add vscode to the portstree. the popular editor developed by Microsoft and based on Electron. Many thanks to the maintainer Hiroki for his very appreciated work on it. --- editors/vscode/files/patch-resources_linux_bin_code.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 editors/vscode/files/patch-resources_linux_bin_code.sh (limited to 'editors/vscode/files/patch-resources_linux_bin_code.sh') diff --git a/editors/vscode/files/patch-resources_linux_bin_code.sh b/editors/vscode/files/patch-resources_linux_bin_code.sh new file mode 100644 index 000000000000..e2d1305cb6aa --- /dev/null +++ b/editors/vscode/files/patch-resources_linux_bin_code.sh @@ -0,0 +1,11 @@ +--- resources/linux/bin/code.sh.orig 2019-11-12 10:55:03 UTC ++++ resources/linux/bin/code.sh +@@ -4,7 +4,7 @@ + # Licensed under the MIT License. See License.txt in the project root for license information. + + # test that VSCode wasn't installed inside WSL +-if grep -qi Microsoft /proc/version && [ -z "$DONT_PROMPT_WSL_INSTALL" ]; then ++if grep -qi Microsoft /proc/version 2> /dev/null && [ -z "$DONT_PROMPT_WSL_INSTALL" ]; then + echo "To use VS Code with the Windows Subsystem for Linux, please install VS Code in Windows and uninstall the Linux version in WSL. You can then use the '@@PRODNAME@@' command in a WSL terminal just as you would in a normal command prompt." 1>&2 + read -e -p "Do you want to continue anyways ? [y/N] " YN + -- cgit v1.2.3