tom.sherman.is
anton.galiglobal.com
+17
.devcontainer/devcontainer.json
+17
.devcontainer/devcontainer.json
···
1
+
{
2
+
"name": "Frontpage Firefox Plugin",
3
+
"build": {
4
+
"dockerfile": "Dockerfile",
5
+
"context": ".."
6
+
},
7
+
"remoteUser": "app",
8
+
"customizations": {
9
+
"vscode": {
10
+
"extensions": [
11
+
"ms-vsliveshare.vsliveshare",
12
+
"rust-lang.rust-analyzer",
13
+
"dbaeumer.vscode-eslint"
14
+
]
15
+
}
16
+
}
17
+
}
+5
AGENTS.md
+5
AGENTS.md
···
1
+
# Agent Notes
2
+
3
+
- Relocated the project Dockerfile into `.devcontainer/Dockerfile` so GitHub Codespaces can pick it up automatically.
4
+
- Added `.devcontainer/devcontainer.json` pointing to the Dockerfile, sets remote user `app`, and recommends VS Code extensions.
5
+
- Remember to mirror any environment dependency updates in both the Dockerfile and devcontainer definition.
Dockerfile
.devcontainer/Dockerfile
Dockerfile
.devcontainer/Dockerfile