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).