diff options
author | tv <tv@krebsco.de> | 2016-02-02 15:29:40 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2016-02-02 15:31:56 +0100 |
commit | 11371608c1c6b5fc661d1c0a1f825226dfd9f599 (patch) | |
tree | 80acd81f73d2a4abad0232ffaefa5be7e67939b9 | |
parent | 5ce588fb8172ba4d91cfa31c9e043fa1799be9ae (diff) |
with-tmpdir: init at 1
-rw-r--r-- | krebs/5pkgs/with-tmpdir/default.nix | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/krebs/5pkgs/with-tmpdir/default.nix b/krebs/5pkgs/with-tmpdir/default.nix new file mode 100644 index 000000000..517e46310 --- /dev/null +++ b/krebs/5pkgs/with-tmpdir/default.nix @@ -0,0 +1,29 @@ +{ stdenv, fetchgit, coreutils, dash, ... }: + +stdenv.mkDerivation { + name = "with-tmpdir-1"; + + src = fetchgit { + url = http://cgit.cd.krebsco.de/with-tmpdir; + rev = "3243c02ed8cd27a04c080bd39560204980f6c16a"; + sha256 = "80ee6cafb2c337999ddcd1e41747d6256b7cfcea605358c2046eb7e3729555c6"; + }; + + phases = [ + "unpackPhase" + "installPhase" + ]; + + installPhase = '' + mkdir -p $out/bin + + { echo '#! ${dash}/bin/dash' + echo 'OLDPATH=$PATH' + echo 'PATH=${coreutils}/bin' + sed '$s/^/#/' ./with-tmpdir + echo '(PATH=$OLDPATH; exec "$@")' + } > $out/bin/with-tmpdir + + chmod +x $out/bin/with-tmpdir + ''; +} |