diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-04-30 14:46:51 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-04-30 14:47:56 +0200 |
| commit | 0135fd6ec4dcd15771008b867f28047e5c2bb605 (patch) | |
| tree | a19ecb322388ae169efdd4a421a8a0f91a1f689e /.github/ISSUE_TEMPLATE | |
| parent | efe6c186eabeb85830be7bef9aea4dd7eb2357e7 (diff) | |
nix dev-shell: Unset shellHook
This avoids inheriting the caller's shellHook, which can happen when
running a dev-shell inside a dev-shell.
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions