Skip to content

Commit

Permalink
Add devcontainer
Browse files Browse the repository at this point in the history
  • Loading branch information
jeremiahpslewis committed Sep 5, 2024
1 parent 7cfe875 commit 49b1e67
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .devcontainer/devcontainer.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"image": "mcr.microsoft.com/vscode/devcontainers/base:ubuntu-24.04",
"features": {
"ghcr.io/julialang/devcontainer-features/julia": "1.10"
},
// Set *default* container specific settings.json values on container create.
"settings": {
"terminal.integrated.fontFamily": "monospace",
"julia.environmentPath": "."
},

// Add the IDs of extensions you want installed when the container is created.
"extensions": [
],
}

0 comments on commit 49b1e67

Please sign in to comment.