diff options
author | Shea Levy <shea@shealevy.com> | 2016-09-08T13·09-0400 |
---|---|---|
committer | Shea Levy <shea@shealevy.com> | 2016-09-08T13·09-0400 |
commit | a5f2750ebb1fb59679079139810e48b53abc51de (patch) | |
tree | d7beb4f36e17643ca9d0fe49f75f74f94a17b353 /dev-shell | |
parent | 312bab008d835dd9c8939b803d2bc7af4f82a811 (diff) |
Fix early removal of rc-file for nix-shell
BASH_ENV causes all non-interactive shells called via eg. /etc/bashrc to remove the rc-file before the main shell gets to run it. Completion scripts will often do this. Fixes #976. Adapted from and fixes #1034.
Diffstat (limited to 'dev-shell')
0 files changed, 0 insertions, 0 deletions