2018-11-24 03:25:03 +00:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2020-03-30 10:24:56 +00:00
|
|
|
|
;;; Copyright © 2018, 2020 Mathieu Othacehe <m.othacehe@gmail.com>
|
2020-04-09 00:17:22 +00:00
|
|
|
|
;;; Copyright © 2020 Florian Pelz <pelzflorian@pelzflorian.de>
|
2018-11-24 03:25:03 +00:00
|
|
|
|
;;;
|
|
|
|
|
;;; This file is part of GNU Guix.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
|
|
|
|
|
|
(define-module (gnu installer record)
|
|
|
|
|
#:use-module (guix records)
|
|
|
|
|
#:use-module (srfi srfi-1)
|
|
|
|
|
#:export (<installer>
|
|
|
|
|
installer
|
|
|
|
|
make-installer
|
|
|
|
|
installer?
|
|
|
|
|
installer-name
|
|
|
|
|
installer-init
|
|
|
|
|
installer-exit
|
|
|
|
|
installer-exit-error
|
2018-12-05 05:30:16 +00:00
|
|
|
|
installer-final-page
|
2018-11-24 03:25:03 +00:00
|
|
|
|
installer-keymap-page
|
|
|
|
|
installer-locale-page
|
|
|
|
|
installer-menu-page
|
|
|
|
|
installer-network-page
|
2020-12-04 10:33:16 +00:00
|
|
|
|
installer-substitutes-page
|
2018-11-24 03:25:03 +00:00
|
|
|
|
installer-timezone-page
|
|
|
|
|
installer-hostname-page
|
|
|
|
|
installer-user-page
|
2018-12-05 05:57:28 +00:00
|
|
|
|
installer-partition-page
|
2018-12-05 05:41:48 +00:00
|
|
|
|
installer-services-page
|
2020-03-30 10:24:56 +00:00
|
|
|
|
installer-welcome-page
|
2020-04-08 08:16:25 +00:00
|
|
|
|
installer-parameters-menu
|
2021-12-29 12:45:26 +00:00
|
|
|
|
installer-parameters-page
|
2022-01-15 13:50:01 +00:00
|
|
|
|
installer-dump-page
|
2022-01-15 13:50:11 +00:00
|
|
|
|
installer-run-command
|
|
|
|
|
installer-report-page))
|
2018-11-24 03:25:03 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
;;;
|
|
|
|
|
;;; Installer record.
|
|
|
|
|
;;;
|
|
|
|
|
|
|
|
|
|
;; The <installer> record contains pages that will be run to prompt the user
|
|
|
|
|
;; for the system configuration. The goal of the installer is to produce a
|
|
|
|
|
;; complete <operating-system> record and install it.
|
|
|
|
|
|
|
|
|
|
(define-record-type* <installer>
|
|
|
|
|
installer make-installer
|
|
|
|
|
installer?
|
|
|
|
|
;; symbol
|
|
|
|
|
(name installer-name)
|
|
|
|
|
;; procedure: void -> void
|
|
|
|
|
(init installer-init)
|
|
|
|
|
;; procedure: void -> void
|
|
|
|
|
(exit installer-exit)
|
2022-01-15 13:50:11 +00:00
|
|
|
|
;; procedure (key arguments) -> (action)
|
2018-11-24 03:25:03 +00:00
|
|
|
|
(exit-error installer-exit-error)
|
2018-12-05 05:30:16 +00:00
|
|
|
|
;; procedure void -> void
|
|
|
|
|
(final-page installer-final-page)
|
2020-04-09 00:17:22 +00:00
|
|
|
|
;; procedure (layouts context) -> (list layout variant options)
|
2018-11-24 03:25:03 +00:00
|
|
|
|
(keymap-page installer-keymap-page)
|
|
|
|
|
;; procedure: (#:key supported-locales iso639-languages iso3166-territories)
|
|
|
|
|
;; -> glibc-locale
|
|
|
|
|
(locale-page installer-locale-page)
|
|
|
|
|
;; procedure: (steps) -> step-id
|
|
|
|
|
(menu-page installer-menu-page)
|
|
|
|
|
;; procedure void -> void
|
|
|
|
|
(network-page installer-network-page)
|
2020-12-04 10:33:16 +00:00
|
|
|
|
;; procedure void -> void
|
|
|
|
|
(substitutes-page installer-substitutes-page)
|
2018-11-24 03:25:03 +00:00
|
|
|
|
;; procedure (zonetab) -> posix-timezone
|
|
|
|
|
(timezone-page installer-timezone-page)
|
|
|
|
|
;; procedure void -> void
|
|
|
|
|
(hostname-page installer-hostname-page)
|
|
|
|
|
;; procedure void -> void
|
|
|
|
|
(user-page installer-user-page)
|
2018-12-05 05:41:48 +00:00
|
|
|
|
;; procedure void -> void
|
2018-12-05 05:57:28 +00:00
|
|
|
|
(partition-page installer-partition-page)
|
|
|
|
|
;; procedure void -> void
|
2018-12-05 05:41:48 +00:00
|
|
|
|
(services-page installer-services-page)
|
2022-11-03 16:57:51 +00:00
|
|
|
|
;; procedure (logo #:pci-database) -> void
|
2020-03-30 10:24:56 +00:00
|
|
|
|
(welcome-page installer-welcome-page)
|
|
|
|
|
;; procedure (menu-proc) -> void
|
2020-04-08 08:16:25 +00:00
|
|
|
|
(parameters-menu installer-parameters-menu)
|
2020-03-30 10:24:56 +00:00
|
|
|
|
;; procedure (keyboard-layout-selection) -> void
|
2021-12-29 12:45:26 +00:00
|
|
|
|
(parameters-page installer-parameters-page)
|
|
|
|
|
;; procedure (dump) -> void
|
2022-01-15 13:50:01 +00:00
|
|
|
|
(dump-page installer-dump-page)
|
|
|
|
|
;; procedure command -> bool
|
2022-01-15 13:50:11 +00:00
|
|
|
|
(run-command installer-run-command)
|
|
|
|
|
;; procedure (report) -> void
|
|
|
|
|
(report-page installer-report-page))
|