Pony devcontainer.json

05 Jan, 2022

Here's a bare bones VS Code devcontainer.json for Pony, mostly so that I can easily copy and paste it in the future.

{
    "name": "Pony",
    "image": "docker.io/ponylang/ponyc",

    "settings": {},

    "extensions": [
        "npruehs.pony"
    ]
}