ports/editors/vscode/files/patch-resources_linux_bin_code.sh
Luca Pizzamiglio 719fc2047b 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.
2019-12-23 17:23:22 +00:00

11 lines
738 B
Bash

--- 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