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 /docs | |
| 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 'docs')
0 files changed, 0 insertions, 0 deletions