diff options
author | tv <tv@shackspace.de> | 2014-12-27 12:33:16 +0100 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-02-24 22:03:51 +0100 |
commit | 75e3d1e803826cd433b41fb3ecde8eb892f42bf7 (patch) | |
tree | fe36c54834c976bfaac7c245d9a19b4600e4f6f2 | |
parent | 5b3765b788289d9769358c7ceaf740ce00724a6c (diff) |
env.nix: don't modify HISTFILE
-rw-r--r-- | env.nix | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -9,9 +9,6 @@ let ]; extraCmds = '' - if test -d "\$HOME/.history"; then - export HISTFILE="\$HOME/.history/env-${name}" - fi $(grep export ${hsEnv.outPath}/bin/ghc) ''; |