diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-08-23 20:15:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-23 20:15:18 +0200 |
| commit | 4a0c4ca1862b83c0c759cd617950b347858e752e (patch) | |
| tree | 1406e24093876bf91c5e8adb8bc02a8fbb964c05 | |
| parent | 0e54fab0dd7b65c777847d6e80f1ca11233a15eb (diff) | |
| parent | db026103b18fb8b5a719594502edd0f89eb9c268 (diff) | |
Merge pull request #6944 from edolstra/bash-vars
nix develop: Ignore some more bash special variables
| -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 |