如何在nix-repl中刷新nix派生（nix pill的7.5）？

Question

查看the 7th nix pill中给出的示例，键入:b simple可构建简短c程序的派生。在nix-repl

simple = derivation { name = "simple"; builder = "${bash}/bin/bash"; args = [ ./simple_builder.sh ]; gcc = gcc; coreutils = coreutils; src = ./simple.c; system = builtins.currentSystem; }
:b simple

编译源代码并使输出目录包含simple - 可执行文件。

如果c-source改变了一点，比方说，我们想输出“Simple？”，那么使用相同参数的简单派生似乎不起作用。

为什么这样，是否意味着，即使对于c文件的微小更改，也必须为派生提供新名称（？） - 参数？

如果是这样，如何摆脱使用:b adrvn在nix-repl中创建的旧派生？

Answer 1

问题是simple是值/常量而不是函数。鉴于Nix纯粹是功能性的，无论你评估simple多少次，它总会产生相同的输出（在nix-repl的同一个实例中）。另一方面，使用外部文件（例如simple.nix）并使用nix-build将获取派生输入的更改，包括simple.c。

至于清理派生，您可以使用nix-collect-garbage。