summaryrefslogtreecommitdiff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorMathieu Othacehe <othacehe@gnu.org>2023-01-07 19:12:30 +0100
committerMathieu Othacehe <othacehe@gnu.org>2023-01-07 19:41:51 +0100
commit78a9b4f996ba18b4460ba380b87e9538007c27e0 (patch)
tree018983ef6ea5485f81c3c88d95dee70bba963630 /gnu/packages/agda.scm
parentdb746d16602f4b22ed678aaaeeb5974398d27874 (diff)
services: base: Add extra-env support to guix-configuration.
* gnu/services/base.scm (<guix-configuration>)[extra-env]: New field. (guix-shepherd-service): Honor it. * doc/guix.texi (Base Services): Document it.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions