diff options
| author | innovaker <[email protected]> | 2020-12-03 07:45:06 +0000 |
|---|---|---|
| committer | Pete Johanson <[email protected]> | 2020-12-17 16:51:06 -0500 |
| commit | b507f9809af6d86aea26b54c327f0a208d35d25b (patch) | |
| tree | 843dcd9efcfacc45939b1acfb83a8b8701fd5ebd | |
| parent | 78acd7610e2189b49acb01464b570ce89f1a58e3 (diff) | |
| download | zmk-b507f9809af6d86aea26b54c327f0a208d35d25b.tar.gz zmk-b507f9809af6d86aea26b54c327f0a208d35d25b.zip | |
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
| -rw-r--r-- | .devcontainer/devcontainer.json | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index 1477df74be..7d6acd059a 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" |