diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-08-23 14:57:08 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2022-08-23 14:57:08 +0200 |
| commit | db026103b18fb8b5a719594502edd0f89eb9c268 (patch) | |
| tree | 06a932b32effbb2fb2c7a2e54633601ced5bb592 | |
| parent | b2b607a7a915edc43350873483b7047f27cbac40 (diff) | |
nix develop: Ignore some more bash special variables
Fixes #6940.
| -rw-r--r-- | src/nix/get-env.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/nix/get-env.sh b/src/nix/get-env.sh index 42c806450..a7a8a01b9 100644 --- a/src/nix/get-env.sh +++ b/src/nix/get-env.sh @@ -43,6 +43,7 @@ __dumpEnv() { local __var_name="${BASH_REMATCH[2]}" if [[ $__var_name =~ ^BASH_ || \ + $__var_name =~ ^COMP_ || \ $__var_name = _ || \ $__var_name = DIRSTACK || \ $__var_name = EUID || \ @@ -54,7 +55,9 @@ __dumpEnv() { $__var_name = PWD || \ $__var_name = RANDOM || \ $__var_name = SHLVL || \ - $__var_name = SECONDS \ + $__var_name = SECONDS || \ + $__var_name = EPOCHREALTIME || \ + $__var_name = EPOCHSECONDS \ ]]; then continue; fi if [[ -z $__first ]]; then printf ',\n'; else __first=; fi |