From 4a3804cbf33d36034e3271e65d0c41309330ffdf Mon Sep 17 00:00:00 2001
From: innovaker <66737976+innovaker@users.noreply.github.com>
Date: Thu, 3 Dec 2020 07:45:06 +0000
Subject: [PATCH] feat(devcontainer): persist bash history

When combined with the root user volume, this commit instructs bash to save each command to the bash history after execution, thereby sharing the bash history between any containers that use the volume.

Based on the advice of KemoNine.

PR: #480
---
 .devcontainer/devcontainer.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index 1477df74..7d6acd05 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -2,7 +2,10 @@
   "name": "ZMK Development",
   "dockerFile": "Dockerfile",
   "runArgs": ["--security-opt", "label=disable"],
-  "containerEnv": { "WORKSPACE_DIR": "${containerWorkspaceFolder}" },
+  "containerEnv": {
+    "WORKSPACE_DIR": "${containerWorkspaceFolder}",
+    "PROMPT_COMMAND": "history -a"
+  },
   "mounts": [
     "type=volume,source=zmk-root-user,target=/root",
     "type=volume,source=zmk-config,target=/workspaces/zmk-config"