diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-30 18:42:27 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-12-07 00:59:56 +0100 |
| commit | eaabc5e87f4e48d7bce88ca231f5fc2d554ca3d6 (patch) | |
| tree | 9f9d300bc392a632765bf1e2e4b830307c1167ca | |
| parent | b85836d3067a0faccc945d584dfb88cf557eee97 (diff) | |
| download | patches-eaabc5e87f4e48d7bce88ca231f5fc2d554ca3d6.tar patches-eaabc5e87f4e48d7bce88ca231f5fc2d554ca3d6.tar.gz | |
machine: Add provenance tracking to each machine operating system.
* gnu/machine.scm (<machine>): Rename accessor to
'%machine-operating-system'.
(machine-operating-system): New procedure.
* doc/guix.texi (Service Reference): Mention it.
| -rw-r--r-- | doc/guix.texi | 4 | ||||
| -rw-r--r-- | gnu/machine.scm | 7 |
2 files changed, 8 insertions, 3 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index bd7cb7a3da..4c2ecd4b84 100644 --- a/doc/guix.texi +++ b/doc/guix.texi @@ -27129,8 +27129,8 @@ comparison less trivial. @end quotation This service is automatically added to your operating system -configuration when you use @command{guix system reconfigure} or -@command{guix system init}. +configuration when you use @command{guix system reconfigure}, +@command{guix system init}, or @command{guix deploy}. @end defvr @node Shepherd Services diff --git a/gnu/machine.scm b/gnu/machine.scm index 05b03b21d4..b342fe2144 100644 --- a/gnu/machine.scm +++ b/gnu/machine.scm @@ -93,11 +93,16 @@ make-machine machine? this-machine - (operating-system machine-operating-system) ; <operating-system> + (operating-system %machine-operating-system); <operating-system> (environment machine-environment) ; symbol (configuration machine-configuration ; configuration object (default #f))) ; specific to environment +(define (machine-operating-system machine) + "Return the operating system of MACHINE." + (operating-system-with-provenance + (%machine-operating-system machine))) + (define (machine-display-name machine) "Return the host-name identifying MACHINE." (operating-system-host-name (machine-operating-system machine))) |