diff options
| author | innovaker <66737976+innovaker@users.noreply.github.com> | 2020-12-03 07:45:06 +0000 |
|---|---|---|
| committer | Pete Johanson <peter@peterjohanson.com> | 2020-12-17 16:51:06 -0500 |
| commit | b507f9809af6d86aea26b54c327f0a208d35d25b (patch) | |
| tree | 843dcd9efcfacc45939b1acfb83a8b8701fd5ebd /.devcontainer | |
| parent | 78acd7610e2189b49acb01464b570ce89f1a58e3 (diff) | |
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
Diffstat (limited to '.devcontainer')
| -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 1477df7..7d6acd0 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" |