personal-website/.devcontainer/devcontainer.json

mirror of https://github.com/len0rd/personal-website.git synced 2025-03-01 03:51:57 -05:00
{
    "build": {
        "context": "../",
        "dockerfile": "../Dockerfile",
        "target": "dev",
    },
    "forwardPorts": [8090]
}
fixes/updates. use pydata theme. use drawio extension in devcontainer 2023-05-27 23:41:55 -04:00			`{`
			`"build": {`
			`"context": "../",`
split dev and prod docker stages 2023-06-08 10:29:27 -04:00			`"dockerfile": "../Dockerfile",`
			`"target": "dev",`
fixes/updates. use pydata theme. use drawio extension in devcontainer 2023-05-27 23:41:55 -04:00			`},`
			`"forwardPorts": [8090]`
			`}`