diff options
| author | Matthew Kenigsberg <matthewkenigsberg@gmail.com> | 2020-10-20 11:48:07 -0500 |
|---|---|---|
| committer | Matthew Kenigsberg <matthewkenigsberg@gmail.com> | 2020-10-20 12:00:30 -0500 |
| commit | f6aaac2b5983bd87cd6e2f648c9dd835c6d9373c (patch) | |
| tree | 4708237b7a6b38c0df92a08f7fd4885462856ab8 /doc | |
| parent | e0ca98c2071b815578470e280df8fdb750c7e23b (diff) | |
Make bash non-interactive for nix develop --phase
Fix #3975: Currently if Ctrl-C is pressed during a phase, the interactive subshell
is not exited. Removing --rcfile when --phase is present makes bash
non-interactive
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions