8 runScript = writeShellScriptBin "run-npush" ''
12 if [ -d "./levels" ]; then
13 echo "Directory ./levels found; skipping levelset copy"
15 echo "Directory ./levels not found; copying the official levelset to the current directory"
17 cp ${npush}/share/npush/levels/* levels/
20 echo "Now calling npush"
21 exec "${npush}/bin/npush"
25 name = "run-npush-${npush.version}";