Merge branch 'remove-python-run-button' into canary

Author: rongxin-liu

Dockerfile

@@ -100,6 +100,17 @@ RUN npm install --global @vscode/vsce yarn && \
     rm --force --recursive design50.vsix && \
     npm uninstall --global vsce yarn
 
+# Pull Python VS Code extension and remove run button from editor title menu
+RUN cd /tmp && \
+    git clone --branch v2025.14.0 --depth 1 https://github.com/microsoft/vscode-python.git && \
+    cd vscode-python && \
+    # Remove the editor/title/run entry and save back to package.json
+    jq 'del(.contributes.menus."editor/title/run")' package.json > package.tmp.json && mv package.tmp.json package.json && \
+    npm install && \
+    npm run package && \
+    mv ms-python-insiders.vsix /opt/cs50/extensions && \
+    cd /tmp && \
+    rm --force --recursive vscode-python
 
 # Final stage
 FROM cs50/cli:${TAG}

devcontainer.json

@@ -16,6 +16,7 @@
                 "/opt/cs50/extensions/ddb50-2.0.0.vsix",
                 "/opt/cs50/extensions/phpliteadmin-0.0.1.vsix",
                 "/opt/cs50/extensions/style50-0.0.1.vsix",
+                "/opt/cs50/extensions/ms-python-insiders.vsix",
                 "cs50.extension-uninstaller",
                 "inferrinizzard.prettier-sql-vscode",
                 "mathematic.vscode-pdf",
@@ -33,7 +34,6 @@
                 "ms-ceintl.vscode-language-pack-zh-hans",
                 "ms-ceintl.vscode-language-pack-zh-hant",
                 "ms-python.autopep8",
-                "ms-python.python",
                 "ms-vscode.cpptools",
                 "ms-vscode.hexeditor",
                 "ms-vsliveshare.vsliveshare",
@@ -169,6 +169,7 @@
                 "problems.decorations.enabled": false,
                 "problems.visibility": false,
                 "python.terminal.executeInFileDir": true,
+                "python.terminal.shellIntegration.enabled": false,
                 "[python]": {
                   "editor.defaultFormatter": "ms-python.autopep8"
                 },

opt/cs50/bin/code

@@ -82,4 +82,14 @@ if [ "$options" = false ]; then
 fi
 
 # since /opt/cs50/bin already have higher precedence in PATH
-$(which -a code | grep remote-cli) "$@" || $(which -a code-insiders | grep remote-cli) "$@"
+remote_code=$(which -a code | grep remote-cli)
+remote_insiders=$(which -a code-insiders | grep remote-cli)
+
+if [ -n "$remote_code" ]; then
+    exec "$remote_code" "$@"
+elif [ -n "$remote_insiders" ]; then
+    exec "$remote_insiders" "$@"
+else
+    echo "Error: Could not find VS Code remote CLI" >&2
+    exit 1
+fi