Ciao

.devcontainer---devcontainer.json

{
  "name": "Ciao Prolog dev container",
  "build": {
    "dockerfile": "Dockerfile"
  },
  "customizations": {
    "vscode": {
      "extensions": [
        "ciao-lang.ciao-prolog-vsc"
      ]
    }
  }
}

.devcontainer---Dockerfile

FROM mcr.microsoft.com/devcontainers/base:noble

# The Microsoft dev container automatically makes the user `vscode`.
#
# ``` bash
# vscode ➜ ~ $ id
# uid=1000(vscode) gid=1000(vscode) groups=1000(vscode)
# ```
#
USER vscode
WORKDIR /home/vscode

# The command `sh -s --` runs a shell script passed via standard input. The
# double dash marks the end of command options, preventing any subsequent
# arguments from being misinterpreted as options.
RUN curl https://ciao-lang.org/boot -sSfL | sh -s -- --prebuilt-bin local-install

foo.qmd

‎‎​