kb01/zmk
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(devcontainer): persist bash history

Browse source 
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
This commit is contained in:
innovaker 2020-12-03 07:45:06 +00:00
parent f3502dbcb5
commit 4a3804cbf3
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.devcontainer/devcontainer.json
View file

@ -2,7 +2,10 @@
"name": "ZMK Development", "name": "ZMK Development",
"dockerFile": "Dockerfile", "dockerFile": "Dockerfile",
"runArgs": ["--security-opt", "label=disable"], "runArgs": ["--security-opt", "label=disable"],
"containerEnv": { "WORKSPACE_DIR": "${containerWorkspaceFolder}" }, "containerEnv": {
"WORKSPACE_DIR": "${containerWorkspaceFolder}",
"PROMPT_COMMAND": "history -a"
},
"mounts": [ "mounts": [
"type=volume,source=zmk-root-user,target=/root", "type=volume,source=zmk-root-user,target=/root",
"type=volume,source=zmk-config,target=/workspaces/zmk-config" "type=volume,source=zmk-config,target=/workspaces/zmk-config"