We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent bc28671 commit 468a4d0Copy full SHA for 468a4d0
opt/cs50/bin/code
@@ -82,4 +82,14 @@ if [ "$options" = false ]; then
82
fi
83
84
# since /opt/cs50/bin already have higher precedence in PATH
85
-$(which -a code | grep remote-cli) "$@" || $(which -a code-insiders | grep remote-cli) "$@"
+remote_code=$(which -a code | grep remote-cli)
86
+remote_insiders=$(which -a code-insiders | grep remote-cli)
87
+
88
+if [ -n "$remote_code" ]; then
89
+ exec "$remote_code" "$@"
90
+elif [ -n "$remote_insiders" ]; then
91
+ exec "$remote_insiders" "$@"
92
+else
93
+ echo "Error: Could not find VS Code remote CLI" >&2
94
+ exit 1
95
+fi
0 commit comments