diff options
| author | Marius Bakke <marius@gnu.org> | 2020-12-13 20:50:50 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-12-13 20:50:50 +0100 |
| commit | d13ed52da216ece35af8e4f4ae413eb05912794b (patch) | |
| tree | a4313f1c21fb309ffea89be715be640376935cfb /gnu/installer.scm | |
| parent | bdfdb9d79d83c806ea59a9bdd99b5a786d14999c (diff) | |
| parent | a7737f0ead2293536b9d0ba253de4673378a0ffa (diff) | |
Merge branch 'ungrafting' into staging
Diffstat (limited to 'gnu/installer.scm')
| -rw-r--r-- | gnu/installer.scm | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gnu/installer.scm b/gnu/installer.scm index f401b242f8..7863edbb67 100644 --- a/gnu/installer.scm +++ b/gnu/installer.scm @@ -266,6 +266,13 @@ selected keymap." (compute (lambda _ ((installer-network-page current-installer))))) + ;; Ask whether to enable substitute server discovery. + (installer-step + (id 'substitutes) + (description (G_ "Substitute server discovery")) + (compute (lambda _ + ((installer-substitutes-page current-installer))))) + ;; Prompt for users (name, group and home directory). (installer-step (id 'user) |