From 1f86a2156d9b18768df3c35150405552702f677b Mon Sep 17 00:00:00 2001
From: Christian Kellner <christian@kellner.me>
Date: Wed, 7 Apr 2021 13:32:22 +0000
Subject: [PATCH] devcontainer: preserve history

Use a separate volume for /root/.local/share, which is where the
fish shell keeps its history file, in order to preserve it across
container rebuilds.
---
 .devcontainer/devcontainer.json | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index ac911ac3..b240a7fc 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -4,6 +4,9 @@
     "dockerfile": "Dockerfile",
     "context": "..",
   },
+  "mounts": [
+    "source=osbuild-share,target=/root/.local/share,type=volume"
+  ],
   "runArgs": [
     "--privileged"
   ],