Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
Add devcontainer for ubuntu
Browse files Browse the repository at this point in the history
  • Loading branch information
tobiasdiez committed May 14, 2022
1 parent 888d18e commit 85a7100
Show file tree
Hide file tree
Showing 3 changed files with 20 additions and 0 deletions.
6 changes: 6 additions & 0 deletions .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
ARG VARIANT="jammy"
FROM ghcr.io/sagemath/sage/sage-docker-ubuntu-${VARIANT}-standard-with-system-packages:dev

# Install additional packages needed for devcontainer support in VS code
RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
&& apt-get -y install --no-install-recommends gpgconf openssh-client
11 changes: 11 additions & 0 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
// For format details, see https://aka.ms/devcontainer.json.
{
"name": "Ubuntu",
"build": {
"dockerfile": "Dockerfile",
// Update 'VARIANT' to pick an Ubuntu version: hirsute, focal, bionic, xenial, trusty, etc.
"args": { "VARIANT": "jammy" }
},
// Run commands after the container is started.
"postStartCommand": "configure && make build"
}
3 changes: 3 additions & 0 deletions .vscode/settings.json
Original file line number Diff line number Diff line change
Expand Up @@ -19,4 +19,7 @@
"src"
],
"python.testing.unittestEnabled": false,
"cSpell.words": [
"sagemath"
],
}

0 comments on commit 85a7100

Please sign in to comment.