diff options
| author | Marius Bakke <marius@gnu.org> | 2020-12-13 01:10:06 +0100 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2020-12-13 01:10:06 +0100 |
| commit | a7737f0ead2293536b9d0ba253de4673378a0ffa (patch) | |
| tree | cf80318b0a9903aa56a69c316659a52f94abbe27 /gnu/installer.scm | |
| parent | ba47c83570b6d1824738ef5ff8580e7581990699 (diff) | |
| parent | 1adeb744560af94687eb7c3780c7145c52674070 (diff) | |
Merge branch 'master' into ungrafting
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) |