diff options
author | notgne2 | 2021-01-23 01:29:44 -0700 |
---|---|---|
committer | GitHub | 2021-01-23 01:29:44 -0700 |
commit | 726d758768d7b8071dcffa14560a14f588460406 (patch) | |
tree | fe1aeaf62acbe986417c22db9202cc22ad1b77aa | |
parent | 0f0c0e17e97eeea5d3d5d378bba9393da6b218ca (diff) | |
parent | 501bfa6b721bacfa701b5276ae6be97fb1e913d8 (diff) |
Merge pull request #53 from serokell/notgne2/set-euo-pipefail
Run `set -euo pipefail` in generated activation scripts
-rw-r--r-- | flake.nix | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -63,6 +63,8 @@ name = base.name + "-activate-path"; text = '' #!${pkgs.runtimeShell} + set -euo pipefail + ${activate} ''; executable = true; |