diff options
| author | Graham Christensen <graham@grahamc.com> | 2018-09-27T16·40-0400 |
|---|---|---|
| committer | Graham Christensen <graham@grahamc.com> | 2018-09-27T19·12-0400 |
| commit | f11acbaf175ebb2c844cb40900adb912ff58f613 (patch) | |
| tree | b21dff51e3c03bd797de89afe503f7844dc5a77f /.github | |
| parent | 97504300032c7c57388d68bbe4a05b0a494e81aa (diff) | |
nix-shell: add bashInteractive to the start of the PATH, set SHELL
Tools which re-exec `$SHELL` or `$0` or `basename $SHELL` or even just `bash` will otherwise get the non-interactive bash, providing a broken shell for the same reasons described in https://github.com/NixOS/nixpkgs/issues/27493. Extends c94f3d5575d7af5403274d1e9e2f3c9d72989751
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions