| 1 | |
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 | |
| 7 | |
| 8 | |
| 9 | |
| 10 | |
| 11 | |
| 12 | |
| 13 | |
| 14 | |
| 15 | |
| 16 | |
| 17 | |
| 18 | |
| 19 | |
| 20 |
|
| 21 | (define-module (gnu installer record)
|
| 22 | #:use-module (guix records)
|
| 23 | #:use-module (srfi srfi-1)
|
| 24 | #:export (<installer>
|
| 25 | installer
|
| 26 | make-installer
|
| 27 | installer?
|
| 28 | installer-name
|
| 29 | installer-init
|
| 30 | installer-exit
|
| 31 | installer-exit-error
|
| 32 | installer-final-page
|
| 33 | installer-kernel-page
|
| 34 | installer-keymap-page
|
| 35 | installer-locale-page
|
| 36 | installer-menu-page
|
| 37 | installer-network-page
|
| 38 | installer-substitutes-page
|
| 39 | installer-timezone-page
|
| 40 | installer-hostname-page
|
| 41 | installer-user-page
|
| 42 | installer-partitioning-page
|
| 43 | installer-services-page
|
| 44 | installer-welcome-page
|
| 45 | installer-parameters-menu
|
| 46 | installer-parameters-page
|
| 47 | installer-dump-page
|
| 48 | installer-run-command
|
| 49 | installer-report-page))
|
| 50 |
|
| 51 |
|
| 52 | |
| 53 | |
| 54 | |
| 55 |
|
| 56 | |
| 57 | |
| 58 | |
| 59 |
|
| 60 | (define-record-type* <installer>
|
| 61 | installer make-installer
|
| 62 | installer?
|
| 63 | |
| 64 | (name installer-name)
|
| 65 | |
| 66 | (init installer-init)
|
| 67 | |
| 68 | (exit installer-exit)
|
| 69 | |
| 70 | (exit-error installer-exit-error)
|
| 71 | |
| 72 | (final-page installer-final-page)
|
| 73 | |
| 74 | (kernel-page installer-kernel-page)
|
| 75 | |
| 76 | (keymap-page installer-keymap-page)
|
| 77 | |
| 78 | |
| 79 | (locale-page installer-locale-page)
|
| 80 | |
| 81 | (menu-page installer-menu-page)
|
| 82 | |
| 83 | (network-page installer-network-page)
|
| 84 | |
| 85 | (substitutes-page installer-substitutes-page)
|
| 86 | |
| 87 | (timezone-page installer-timezone-page)
|
| 88 | |
| 89 | (hostname-page installer-hostname-page)
|
| 90 | |
| 91 | (user-page installer-user-page)
|
| 92 | |
| 93 | (partitioning-page installer-partitioning-page)
|
| 94 | |
| 95 | (services-page installer-services-page)
|
| 96 | |
| 97 | (welcome-page installer-welcome-page)
|
| 98 | |
| 99 | (parameters-menu installer-parameters-menu)
|
| 100 | |
| 101 | (parameters-page installer-parameters-page)
|
| 102 | |
| 103 | (dump-page installer-dump-page)
|
| 104 | |
| 105 | (run-command installer-run-command)
|
| 106 | |
| 107 | (report-page installer-report-page))
|