diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-07-28 22:36:20 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-07-29 00:22:01 +0200 |
| commit | 12a3d7d6f747b2b3c456ba20727e1ac97f9a952f (patch) | |
| tree | e6602f8283267c668a6cea3b39750d7533b0825c /gnu/packages/patches | |
| parent | 5c622a0a680ca69f8c1f3ce23dabdd93e774a56f (diff) | |
| download | guix-patches-12a3d7d6f747b2b3c456ba20727e1ac97f9a952f.tar guix-patches-12a3d7d6f747b2b3c456ba20727e1ac97f9a952f.tar.gz | |
system: 'operating-system-with-provenance' uses the OS location info.
This allows 'guix deploy' to save the config file when it's available.
* gnu/system.scm (operating-system-configuration-file): New procedure.
(operating-system-with-provenance): 'config-file' defaults to the value
returned by 'operating-system-configuration-file'.
Diffstat (limited to 'gnu/packages/patches')
0 files changed, 0 insertions, 0 deletions