Browse Source

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
xmkb
innovaker 4 years ago committed by Pete Johanson
parent
commit
b507f9809a
  1. 5
      .devcontainer/devcontainer.json

5
.devcontainer/devcontainer.json

@ -2,7 +2,10 @@ @@ -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"

Loading…
Cancel
Save