.devcontainer/portability-ubuntu-jammy-standard fails in GitHub Codespaces #34403
Closed as not planned
Description
Follow-up from
- Add devcontainer.json for development with VS Code in a Docker container #33671: Add devcontainer.json for development with VS Code in a Docker container.
ISSUE: .devcontainer/portability-ubuntu-jammy-standard fails in GitHub Codespaces as reported first in
TEST: github codespaces uses the devcontainer CLI so you probably can reproduce this issue locally using https://code.visualstudio.com/docs/remote/devcontainer-cli.
- Install devcontainer CLI:
npm install -g@devcontainers/cli - Create and run devcontainer:
devcontainer up --workspace-folder .in sage source tree
Depends on #33671
CC: @tobiasdiez
Component: user interface
Issue created by migration from https://trac.sagemath.org/ticket/34403