Browse Source

system: Add 'location' field to <operating-system>.

This allows error messages to include source location info.

* gnu/system.scm (<operating-system>)[location]: New field.
gn-latest-20200725
Ludovic Courtès 1 year ago
parent
commit
9e12da319b
No known key found for this signature in database GPG Key ID: 90B11993D9AEBB5
  1. 8
      gnu/system.scm

8
gnu/system.scm

@ -118,6 +118,7 @@
operating-system-sudoers-file
operating-system-swap-devices
operating-system-kernel-loadable-modules
operating-system-location
operating-system-derivation
operating-system-profile
@ -255,7 +256,12 @@
(default %setuid-programs)) ; list of string-valued gexps
(sudoers-file operating-system-sudoers-file ; file-like
(default %sudoers-specification)))
(default %sudoers-specification))
(location operating-system-location ; <location>
(default (and=> (current-source-location)
source-properties->location))
(innate)))
(define (operating-system-kernel-arguments os root-device)
"Return all the kernel arguments, including the ones not specified

Loading…
Cancel
Save