diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-01-13T12·46+0100 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-01-13T12·46+0100 |
commit | f1357059a441a588b9a2b78d3500d7068238b478 (patch) | |
tree | 9e82ea8ba832314a1362bc0766cc6f719ccc8c79 /scripts/nix-build.in | |
parent | ea59f39326c8e9dc42dfed4bcbf597fbce58797c (diff) |
nix-shell: Don't set NIX_INDENT_MAKE
It generally is not useful in interactive environments (and messes up some non-ANSI-compliant terminals).
Diffstat (limited to 'scripts/nix-build.in')
-rwxr-xr-x | scripts/nix-build.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/nix-build.in b/scripts/nix-build.in index 5d5769246609..07752f144f1d 100755 --- a/scripts/nix-build.in +++ b/scripts/nix-build.in @@ -211,6 +211,7 @@ foreach my $expr (@exprs) { 'set +e; ' . '[ -n "$PS1" ] && PS1="\n\[\033[1;32m\][nix-shell:\w]$\[\033[0m\] "; ' . 'unset NIX_ENFORCE_PURITY; ' . + 'unset NIX_INDENT_MAKE; ' . 'shopt -u nullglob; ' . $envCommand); $ENV{BASH_ENV} = $rcfile; |