From 7f93877e3543e90db6fbb802ad4777d72a66e6a5 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 13 Sep 2026 00:58:46 +0000 Subject: [PATCH] chore: persist bash history in the dev container The debian base image sets HISTFILE to /home/dev/.local/state/bash/history, so a named volume mounted on that directory keeps the shell history across container rebuilds, matching what the bare-devcontainer templates now ship. The image pin moves to the release that creates the directory: without it the mount point would be created by Docker and owned by root instead of dev. Co-Authored-By: Claude Opus 5 Claude-Session: https://claude.ai/code/session_013U5NgFxAibDwMQQ13ZdZxh --- .devcontainer/devcontainer.json | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index f85b7fe..ae728b9 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -1,6 +1,6 @@ { "name": "Debian", - "image": "ghcr.io/bare-devcontainer/debian:trixie-20260810@sha256:baee21808301490b53183cfef50a4f13f0b026f18ab3adc440572983307ad956", + "image": "ghcr.io/bare-devcontainer/debian:trixie-20260913@sha256:e2fee1e8cd530042d38ab22bdf44f79e7c14fc0a07e010cc99a927b4f25b3e9a", "features": { "ghcr.io/bare-devcontainer/features/claude-code:1.1.0": {} }, @@ -17,6 +17,14 @@ "EDITOR": "code --wait", "VISUAL": "code --wait" }, + "mounts": [ + // Persist the shell history the image keeps in this directory. + { + "source": "${devcontainerId}-bash-history", + "target": "/home/dev/.local/state/bash", + "type": "volume" + } + ], "customizations": { "vscode": { "extensions": [