diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2022-05-16 23:13:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-16 22:13:17 +0100 |
| commit | ab294cde3460665dfa78514f0e20da00984e3943 (patch) | |
| tree | f65fd3acd060d3f2ed7e45767b3b37cc9784e32c /src/shell/atuin.bash | |
| parent | Allow to build atuin server without client (#404) (diff) | |
| download | atuin-ab294cde3460665dfa78514f0e20da00984e3943.zip | |
Don't pollute shell environment - remove 'id' variable (#408)
Diffstat (limited to 'src/shell/atuin.bash')
| -rw-r--r-- | src/shell/atuin.bash | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/shell/atuin.bash b/src/shell/atuin.bash index e47e3c98..6295a4e4 100644 --- a/src/shell/atuin.bash +++ b/src/shell/atuin.bash @@ -2,7 +2,7 @@ ATUIN_SESSION=$(atuin uuid) export ATUIN_SESSION _atuin_preexec() { - id=$(atuin history start "$1") + local id; id=$(atuin history start "$1") export ATUIN_HISTORY_ID="$id" } |