From 0b76ab16a5942bd5583617fcfc786afc444f8835 Mon Sep 17 00:00:00 2001 From: Claude Date: Sun, 13 Sep 2026 00:58:29 +0000 Subject: [PATCH] chore: persist bash history in the default dev container The debian base 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 templates repository now ships. 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/default/Dockerfile | 2 +- .devcontainer/default/devcontainer.json | 8 ++++++++ 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/.devcontainer/default/Dockerfile b/.devcontainer/default/Dockerfile index 3bf2760..8b2cd53 100644 --- a/.devcontainer/default/Dockerfile +++ b/.devcontainer/default/Dockerfile @@ -1,7 +1,7 @@ # syntax=docker/dockerfile:1@sha256:ecfaec9ed6d810b56388c508f4121597bfbba70d41a6dfeee4d8cad5f295fc32 # check=error=true -FROM ghcr.io/bare-devcontainer/debian:trixie-20260911@sha256:ad6eb4975ea5b96b7ee31e7fb5de46c479d7c55006272561e464143dad0ac340 +FROM ghcr.io/bare-devcontainer/debian:trixie-20260913@sha256:e2fee1e8cd530042d38ab22bdf44f79e7c14fc0a07e010cc99a927b4f25b3e9a USER root diff --git a/.devcontainer/default/devcontainer.json b/.devcontainer/default/devcontainer.json index f25727b..5882798 100644 --- a/.devcontainer/default/devcontainer.json +++ b/.devcontainer/default/devcontainer.json @@ -10,6 +10,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": [