diff options
author | Efraim Flashner <efraim@flashner.co.il> | 2019-12-12 04:10:59 +0200 |
---|---|---|
committer | Efraim Flashner <efraim@flashner.co.il> | 2019-12-12 04:10:59 +0200 |
commit | c9e676d0b141f510c19e26edb1e6fad079b9b502 (patch) | |
tree | 79abb4a4b92ecf4504a46e55ffa7971a06c8a5df /gnu/system.scm | |
parent | d45720d8b456e82380601d77e25bd05c6e0dc36a (diff) | |
parent | dcb7ce500bd025455982d74c3384c707f35bbb46 (diff) | |
download | patches-c9e676d0b141f510c19e26edb1e6fad079b9b502.tar patches-c9e676d0b141f510c19e26edb1e6fad079b9b502.tar.gz |
Merge remote-tracking branch 'origin/master' into core-updates
Diffstat (limited to 'gnu/system.scm')
-rw-r--r-- | gnu/system.scm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gnu/system.scm b/gnu/system.scm index 96c2b5aad3..abdbb081e6 100644 --- a/gnu/system.scm +++ b/gnu/system.scm @@ -110,6 +110,7 @@ system-linux-image-file-name operating-system-with-gc-roots + operating-system-with-provenance boot-parameters boot-parameters? @@ -540,6 +541,15 @@ bookkeeping." gc-root-service-type roots) (operating-system-user-services os))))) +(define* (operating-system-with-provenance os #:optional config-file) + "Return a variant of OS that stores its own provenance information, +including CONFIG-FILE, if available. This is achieved by adding an instance +of PROVENANCE-SERVICE-TYPE to its services." + (operating-system + (inherit os) + (services (cons (service provenance-service-type config-file) + (operating-system-user-services os))))) + ;;; ;;; /etc. |