diff options
| author | Mehdi Sadeghi <mehdi@mehdix.org> | 2021-05-27 10:26:23 +0200 |
|---|---|---|
| committer | Mehdi Sadeghi <mehdi@mehdix.org> | 2021-05-27 10:26:23 +0200 |
| commit | d91bd8454d96aec1948bbc0808418aa0f92f5246 (patch) | |
| tree | b8be51ea07e4de46bcab0214870c0891b78b1bcf /.config | |
| parent | a5defa8aad18281ee35ac63cc7f867b98319b50f (diff) | |
Add bash direnv hook for blue032.
Diffstat (limited to '.config')
| -rw-r--r-- | .config/blue032.profile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.config/blue032.profile b/.config/blue032.profile new file mode 100644 index 0000000..b759bfd --- /dev/null +++ b/.config/blue032.profile @@ -0,0 +1,11 @@ + +_direnv_hook() { + local previous_exit_status=$?; + trap -- '' SIGINT; + eval "$("/usr/bin/direnv" export bash)"; + trap - SIGINT; + return $previous_exit_status; +}; +if ! [[ "${PROMPT_COMMAND:-}" =~ _direnv_hook ]]; then + PROMPT_COMMAND="_direnv_hook${PROMPT_COMMAND:+;$PROMPT_COMMAND}" +fi |