Pony devcontainer.json

Publish date: Jan 5, 2022
Tags: pony vscode

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"
    ]
}

Thanks for reading! Please feel free to send me an email to talk more about this (or anything else for that matter).