2020-06-11 19:04:16 +02:00
|
|
|
{
|
|
|
|
stdenv
|
|
|
|
}:
|
|
|
|
|
2020-08-25 14:52:18 +02:00
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
name = "dummy";
|
2020-06-11 19:04:16 +02:00
|
|
|
|
2020-08-25 14:52:18 +02:00
|
|
|
src = null;
|
|
|
|
dontUnpack = true;
|
|
|
|
dontBuild = true;
|
2020-06-11 19:04:16 +02:00
|
|
|
|
2020-08-25 14:52:18 +02:00
|
|
|
installPhase = ''
|
|
|
|
mkdir -p $out/bin
|
2020-07-03 18:26:04 +02:00
|
|
|
|
2020-08-25 14:52:18 +02:00
|
|
|
cat > $out/bin/dummy <<EOF
|
|
|
|
#!/bin/sh
|
|
|
|
echo Hello world!
|
|
|
|
EOF
|
2020-07-03 18:26:04 +02:00
|
|
|
|
2020-08-25 14:52:18 +02:00
|
|
|
chmod +x $out/bin/dummy
|
|
|
|
'';
|
2020-06-11 19:04:16 +02:00
|
|
|
}
|