From 73f74ebba09f8bceed46a11f7348b4c398bde6f3 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Wed, 19 Feb 2014 15:01:04 +0100
Subject: [PATCH] nix-shell: Don't leave a temporary directory in /tmp behind

---
 scripts/nix-build.in | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/nix-build.in b/scripts/nix-build.in
index 828eb1c39..4f59118f8 100755
--- a/scripts/nix-build.in
+++ b/scripts/nix-build.in
@@ -206,6 +206,7 @@ foreach my $expr (@exprs) {
         my $rcfile = "$tmpDir/rc";
         writeFile(
             $rcfile,
+            "rm -rf '$tmpDir'; " .
             'unset BASH_ENV; ' .
             '[ -n "$PS1" ] && [ -e ~/.bashrc ] && source ~/.bashrc; ' .
             ($pure ? '' : 'p=$PATH; ' ) .