summaryrefslogtreecommitdiff
path: root/gnu/bootloader.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/bootloader.scm')
-rw-r--r--gnu/bootloader.scm13
1 files changed, 12 insertions, 1 deletions
diff --git a/gnu/bootloader.scm b/gnu/bootloader.scm
index e080b04568b..122e3508746 100644
--- a/gnu/bootloader.scm
+++ b/gnu/bootloader.scm
@@ -43,7 +43,7 @@
43 bootloader-configuration 43 bootloader-configuration
44 bootloader-configuration? 44 bootloader-configuration?
45 bootloader-configuration-bootloader 45 bootloader-configuration-bootloader
46 bootloader-configuration-device 46 bootloader-configuration-target
47 bootloader-configuration-menu-entries 47 bootloader-configuration-menu-entries
48 bootloader-configuration-default-entry 48 bootloader-configuration-default-entry
49 bootloader-configuration-timeout 49 bootloader-configuration-timeout
@@ -107,6 +107,8 @@
107 (bootloader bootloader-configuration-bootloader) ; <bootloader> 107 (bootloader bootloader-configuration-bootloader) ; <bootloader>
108 (device bootloader-configuration-device ; string 108 (device bootloader-configuration-device ; string
109 (default #f)) 109 (default #f))
110 (target %bootloader-configuration-target ; string
111 (default #f))
110 (menu-entries bootloader-configuration-menu-entries ; list of <boot-parameters> 112 (menu-entries bootloader-configuration-menu-entries ; list of <boot-parameters>
111 (default '())) 113 (default '()))
112 (default-entry bootloader-configuration-default-entry ; integer 114 (default-entry bootloader-configuration-default-entry ; integer
@@ -126,6 +128,15 @@
126 (additional-configuration bootloader-configuration-additional-configuration ; record 128 (additional-configuration bootloader-configuration-additional-configuration ; record
127 (default #f))) 129 (default #f)))
128 130
131(define (bootloader-configuration-target config)
132 (or (%bootloader-configuration-target config)
133 (let ((device (bootloader-configuration-device config)))
134 (when device
135 (issue-deprecation-warning
136 "The 'device' field of bootloader configurations is deprecated."
137 "Use 'target' instead."))
138 device)))
139
129 140
130;;; 141;;;
131;;; Bootloaders. 142;;; Bootloaders.