From 442e55c89e21d3fdf16172803cd34d0b1bb06e23 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 13 Sep 2026 00:58:36 +0000 Subject: [PATCH] chore: persist bash history in the repository dev container The templates mount a named volume on the directory the image points HISTFILE at; apply the same to the dev container this repository is developed in. The base 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/Dockerfile | 2 +- .devcontainer/devcontainer.json | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 04df879..99eecaf 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM ghcr.io/bare-devcontainer/debian:trixie@sha256:ad6eb4975ea5b96b7ee31e7fb5de46c479d7c55006272561e464143dad0ac340 +FROM ghcr.io/bare-devcontainer/debian:trixie@sha256:e2fee1e8cd530042d38ab22bdf44f79e7c14fc0a07e010cc99a927b4f25b3e9a USER root diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index ae04f45..21747a9 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -16,6 +16,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": [