Skip to content

chore: Use shared volume for pre-commit cache #305

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
tpoliaw wants to merge 2 commits into from
Closed

chore: Use shared volume for pre-commit cache #305

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
89f799f
Use shared volume for devcontainer uv cache
tpoliaw Oct 23, 2025
1509ae6
Use shared cache for pre-commit hooks
tpoliaw Oct 23, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Next Next commit
Use shared volume for devcontainer uv cache 
Instead of mounting the user's local cache. For the first use this will
be slower (if the user has previously used uv) but using a separate
volume means links within the cache referring to devcontainer locations
will not interfere with uv being run from outside the container.

Using a named volume means devcontainers for multiple projects can share
the same cache.
  • Loading branch information
@tpoliaw
tpoliaw committed Oct 23, 2025
commit 89f799fa613778fadd2f0b8b6713ca75ca78431e
4 changes: 2 additions & 2 deletions .devcontainer/devcontainer.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -56,9 +56,9 @@
},
// Keep a persistent cross container cache for uv
{
"source": "${localEnv:HOME}/.cache/uv",
"source": "persistent-uv-cache",
"target": "/root/.cache/uv",
"type": "bind"
"type": "volume"
},
// Use a volume mount for the uv venv so it is local to the container
{
Expand Down
Loading