chore(devcontainer): change volume name
This commit is contained in:
parent
d62ff5b3c9
commit
ffd45c77c5
1 changed files with 1 additions and 1 deletions
|
@ -29,7 +29,7 @@
|
||||||
"UV_PYTHON_DOWNLOADS": "never",
|
"UV_PYTHON_DOWNLOADS": "never",
|
||||||
"PROJECT_DIR": "/workspaces/SeaCogs"
|
"PROJECT_DIR": "/workspaces/SeaCogs"
|
||||||
},
|
},
|
||||||
"mounts": ["source=uv-persistent-data,target=/workspaces/SeaCogs/.data,type=volume"],
|
"mounts": ["source=seacogs-persistent-data,target=/workspaces/SeaCogs/.data,type=volume"],
|
||||||
"postCreateCommand": "uv sync --frozen",
|
"postCreateCommand": "uv sync --frozen",
|
||||||
"remoteUser": "vscode"
|
"remoteUser": "vscode"
|
||||||
}
|
}
|
||||||
|
|
Loading…
Add table
Reference in a new issue