diff options
| author | Luca Pizzamiglio <pizzamig@FreeBSD.org> | 2019-12-23 17:23:22 +0000 |
|---|---|---|
| committer | Luca Pizzamiglio <pizzamig@FreeBSD.org> | 2019-12-23 17:23:22 +0000 |
| commit | 719fc2047bd9f7823509944bd1e856ac8da71fed (patch) | |
| tree | 7d78787c2d4c37cea7adb6f72d094e1eb296912b /editors/vscode/files/patch-resources_linux_bin_code.sh | |
| parent | - Update to 6_0_25 (diff) | |
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.
Diffstat (limited to 'editors/vscode/files/patch-resources_linux_bin_code.sh')
| -rw-r--r-- | editors/vscode/files/patch-resources_linux_bin_code.sh | 11 |
1 files changed, 11 insertions, 0 deletions
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 + |