Skip to content

Add devcontainer based on conda #34560

@tobiasdiez

Description

@tobiasdiez

Using https://github.com/devcontainers/features/tree/main/src/conda, and similar to what we currently have for gitpod.

Preliminary but working version: https://github.com/tobiasdiez/sage/tree/conda-devcontainer

CC: @isuruf @dimpase @saraedum @mkoeppe @slel

Component: build

Issue created by migration from https://trac.sagemath.org/ticket/34560

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions