polymake_dev_container

readme.md

Tested on Ubuntu 22.04:

Run bash setup.sh

Tested on Windows 10

Ctrl + Shift + P and type "dev container". Navigate to the "build" option. Press Enter. Go grab a coffee. Then, your jupyter notebook server will be ready.

devcontainer---devcontainer.json

// For format details, see https://aka.ms/devcontainer.json. For config options, see the
// README at: https://github.com/devcontainers/templates/tree/main/src/ubuntu
{
	"name": "Ubuntu",
	// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
	"image": "mcr.microsoft.com/devcontainers/base:jammy",

	// Features to add to the dev container. More info: https://containers.dev/features.
	// "features": {},

	// Use 'forwardPorts' to make a list of ports inside the container available locally.
	"forwardPorts": [8888]

	// Use 'postCreateCommand' to run commands after the container is created.
	// "postCreateCommand": "sudo bash setup.sh"

	// Configure tool-specific properties.
	// "customizations": {},

	// Uncomment to connect as root instead. More info: https://aka.ms/dev-containers-non-root.
	// "remoteUser": "root"
}

setup.sh

#!/bin/bash
apt-get update
apt-get install libgmp-dev libmpc-dev libboost-all-dev libperl-dev libxml2 polymake python3-pip -y 
python3 -m pip install notebook 
jupyter notebook