Skip to content

Instantly share code, notes, and snippets.

@anton-gorbikov

anton-gorbikov/devcontainer.json Secret

Created August 19, 2020 20:56
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save anton-gorbikov/a951b5bb881bdac7512b0e5f2c95f97d to your computer and use it in GitHub Desktop.
Save anton-gorbikov/a951b5bb881bdac7512b0e5f2c95f97d to your computer and use it in GitHub Desktop.
Download ZIP
devcontainer-json
Raw
devcontainer.json
{
"name": "Fable",
"dockerFile": "Dockerfile",
"settings": {
"terminal.integrated.shell.linux": "/bin/bash",
"FSharp.useSdkScripts": true
},
"appPort": [
4200,
3000
],
"extensions": [
"Ionide.Ionide-fsharp"
]
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment