aboutsummaryrefslogtreecommitdiff
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2018 Mathieu Othacehe <m.othacehe@gmail.com>
;;;
;;; 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 newt menu)
  #:use-module (gnu installer steps)
  #:use-module (gnu installer newt page)
  #:use-module (guix i18n)
  #:use-module (newt)
  #:export (run-menu-page))

(define (run-menu-page steps)
  "Run a menu page, asking the user to select where to resume the install
process from."
  (define (steps->items steps)
    (filter (lambda (step)
              (installer-step-description step))
            steps))

  (run-listbox-selection-page
   #:info-text (G_ "Choose where you want to resume the install.  \
You can also abort the installation by pressing the Abort button.")
   #:title (G_ "Installation menu")
   #:listbox-items (steps->items steps)
   #:listbox-item->text installer-step-description
   #:sort-listbox-items? #f
   #:button-text (G_ "Abort")
   #:button-callback-procedure (lambda ()
                                 (newt-finish)
                                 (primitive-exit 1))))
an>home: services: dicod, syncthing: Import (gnu home services shepherd)....Ludovic Courtès 2023-08-20home: services: ssh: Fix compilation warning with 'serialize-match-criteria'....Nicolas Graves 2023-08-20home: services: Add Syncthing....Ludovic Courtès 2023-08-20home: services: Add dicod....Ludovic Courtès 2023-08-20home: services: mcron: Define as a mapping of the system service....Ludovic Courtès 2023-08-20home: services: Support mapping of System services to Home services....Ludovic Courtès 2023-07-11home: services: bash: Properly quote shell aliases....Ludovic Courtès 2023-07-05home: Add inputrc service....Efraim Flashner 2023-06-15home: services: xdg-base-directories: Deprecate XDG_LOG_HOME....Bruno Victal 2023-06-14home: services: ssh: Allow unset boolean options in ssh-config....Efraim Flashner 2023-06-09home: services: ssh: Export home-ssh-agent variables....Nicolas Graves 2023-06-09home: services: ssh: Export configuration predicates....Nicolas Graves 2023-06-09home: services: ssh: Add 'match-criteria' option....Nicolas Graves 2023-06-09home: services: ssh: Add 'add-keys-to-agent' field....Nicolas Graves 2023-05-30home: services: Add msmtp service....Tanguy Le Carrour 2023-05-24home: services: ssh: Do not empty ~/.ssh/authorized_keys by default....Janneke Nieuwenhuizen 2023-05-13services: shepherd: Default to 0.10....Ludovic Courtès 2023-05-11gnu: home: services: fontutils: Add support for SXML fragments....Andrew Patterson 2023-04-21home: services: openssh: Add configuration option for jump proxies...Saku Laesvuori 2023-04-08home: Add gpg-agent service....Ludovic Courtès 2023-04-07home: xdg-base-directories: Set correct value for XDG_STATE_HOME....Bruno Victal 2023-04-02services: replace bare serializers with (serializer ...)...Bruno Victal 2023-03-26home: services: Export home-xmodmap-service-type and configuration....Jan (janneke) Nieuwenhuizen 2023-03-17home: services: Add home-xmodmap-service-type....conses 2023-03-17home: services: ssh-agent: Handle setting of SSH_AUTH_SOCK....Jan (janneke) Nieuwenhuizen 2023-03-16home: services: kodi, znc, ssh-agent: Use 'match-record'....Ludovic Courtès 2023-03-16home: services: znc: Remove host-side use of (shepherd support)....Ludovic Courtès 2023-03-16home: services: kodi: Remove host-side use of (shepherd support)....Ludovic Courtès 2023-03-16home: services: ssh-agent: Remove host-side use of (shepherd support)....Ludovic Courtès 2023-03-16gnu: home: services: Add home-kodi-service-type....Jan (janneke) Nieuwenhuizen 2023-03-16gnu: home: services: Add home-znc-service-type....Jan (janneke) Nieuwenhuizen 2023-03-16gnu: home: services: Add home-ssh-agent-service-type....Jan (janneke) Nieuwenhuizen 2023-03-16home: services: Add home-unclutter-service-type....conses 2023-03-05home: services: Add 'pulseaudio-rtp-sink' and 'pulseaudio-rtp-source'....Ludovic Courtès 2023-01-31home: services: fontutils: Add service value....Giacomo Leidi 2023-01-05system: Define default 'PS1' in /etc/bashrc rather than ~/.bashrc....Ludovic Courtès 2023-01-05system, home: Factorize default '.bashrc'....Ludovic Courtès 2022-12-23home: xdg: Add with-imported-modules to xdg activation script....Andrew Tropin 2022-12-19home: xdg: Make it possible to extend user-directories service....Andrew Tropin 2022-12-02home: services: Use 'match-record' instead of 'match'....Ludovic Courtès 2022-12-01home: xdg: Export xdg-base/user-directories getters....Andrew Tropin