Add develop/devcontainer.json

.devcontainer/develop-source/devcontainer.json

@@ -0,0 +1,14 @@
+// Dev container for installing Sage from source
+// See https://aka.ms/devcontainer.json for format details.
+{
+    "name": "Source",
+    "containerEnv": {
+        "MAKE": "make -j4",
+        "EXTRA_SYSTEM_PACKAGES": "python3.12"
+    },
+    "onCreateCommand": ".devcontainer/onCreate.sh --sudo",
+    "extensions": [
+        "ms-python.python",   // Python extension for VS Code
+        "charliermarsh.ruff", // Ruff extension for VS Code
+    ],
+}

.vscode/settings.json

@@ -1,16 +1,13 @@
+// This settings file is not ignored by git. It should be kept in sync with
+// the Sage github repo.
 {
-    // This settings file is not ignored by git. It should be kept in sync with
-    // the trac repo.
-    "python.defaultInterpreterPath": "./venv/bin/python3",
     "files.exclude": {
         "**/__pycache__": true,
         "src/**/*.cpp": true,
         "src/**/*.so": true
     },
     "search.exclude": {
-        // Exclude symbolic links into SAGE_ROOT/pkgs/
         "build/pkgs/*/src": true,
-        // Exclude symbolic links into SAGE_ROOT/src/
         "pkgs/sage-conf_conda/sage_root": true,
         "pkgs/sage-conf_pypi/sage_root": true,
         "pkgs/sage-docbuild/sage_docbuild": true,

build/bin/sage-print-system-package-command

@@ -172,6 +172,9 @@ case $system:$command in
         [ "$YES" = yes ] && options="$options --yes"
         [ -n "$system_packages" ] && print_shell_command conda install $options $system_packages
         ;;
+    homebrew*:update)
+        print_shell_command "brew update"
+        ;;
     homebrew*:install)
         [ -n "$system_packages" ] && print_shell_command brew install $system_packages
         ;;