Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
13 changes: 8 additions & 5 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
Expand Up @@ -3,12 +3,15 @@
{
"name": "Ubuntu",
// Or use a Dockerfile or Docker Compose file. More info: https://containers.dev/guide/dockerfile
"image": "mcr.microsoft.com/devcontainers/base:jammy",
"image": "mcr.microsoft.com/devcontainers/base:noble",
// Features to add to the dev container. More info: https://containers.dev/features.
"features": {
"ghcr.io/devcontainers/features/github-cli:1": {},
"ghcr.io/devcontainers/features/python:1": {}
},
"features": {
"ghcr.io/devcontainers/features/github-cli:1": {},
"ghcr.io/devcontainers/features/python:1": {
"version": "3.13"
},
"./features/fish": {}
},

// Use 'forwardPorts' to make a list of ports inside the container available locally.
// "forwardPorts": [],
Expand Down
10 changes: 10 additions & 0 deletions .devcontainer/features/fish/devcontainer-feature.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
{
"id": "fish",
"version": "1.0.0",
"name": "Fish shell",
"description": "Installs the fish shell from the Ubuntu package manager.",
"options": {},
"installsAfter": [
"ghcr.io/devcontainers/features/common-utils"
]
}
13 changes: 13 additions & 0 deletions .devcontainer/features/fish/install.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
#!/usr/bin/env bash
set -euo pipefail

echo "Installing fish from distro package manager..."

if command -v apt-get >/dev/null 2>&1; then
apt-get update
DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends fish
rm -rf /var/lib/apt/lists/*
else
echo "Unsupported base image: expected apt-get (Ubuntu/Debian)." >&2
exit 1
fi
6 changes: 4 additions & 2 deletions .devcontainer/postCreateCommands.sh
Original file line number Diff line number Diff line change
@@ -1,10 +1,12 @@
#/!bin/sh
#!/bin/sh

set -eu

# Command to run during postCreateCommand
# Done in script because when done via object the commands are run in parallel
# (which isn't always desirable)
# https://containers.dev/implementors/spec/#parallel-exec
# https://containers.dev/implementors/json_reference/#formatting-string-vs-array-properties

pip install -r requirements.txt
python3 -m pip install -r requirements.txt
make html