diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-04-28 22:55:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-04-28 22:57:08 +0200 |
| commit | d779de18175fe99f4ed490bc8af2e80571389144 (patch) | |
| tree | adeb092676b229e417397fb33dae9bc569300c02 | |
| parent | ada4aeb0681445b89459a202b5fa1a46f0a7950e (diff) | |
| download | patches-d779de18175fe99f4ed490bc8af2e80571389144.tar patches-d779de18175fe99f4ed490bc8af2e80571389144.tar.gz | |
installer: Tell the user where the config file is.
* gnu/installer/newt/final.scm (strip-prefix): New procedure.
(run-config-display-page): Add a sentence showing where the config file
is stored.
| -rw-r--r-- | gnu/installer/newt/final.scm | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/gnu/installer/newt/final.scm b/gnu/installer/newt/final.scm index e8d3c48a36..e375282613 100644 --- a/gnu/installer/newt/final.scm +++ b/gnu/installer/newt/final.scm @@ -30,15 +30,24 @@ #:use-module (newt) #:export (run-final-page)) +(define* (strip-prefix file #:optional (prefix (%installer-target-dir))) + "Strip PREFIX from FILE, if PREFIX actually is a prefix of FILE." + (if (string-prefix? prefix file) + (string-drop file (string-length prefix)) + file)) + (define (run-config-display-page) (let ((width (%configuration-file-width)) (height (nearest-exact-integer (/ (screen-rows) 2)))) (run-file-textbox-page - #:info-text (G_ "We're now ready to proceed with the installation! \ + #:info-text (format #f (G_ "\ +We're now ready to proceed with the installation! \ A system configuration file has been generated, it is displayed below. \ +This file will be available as '~a' on the installed system. \ The new system will be created from this file once you've pressed OK. \ This will take a few minutes.") + (strip-prefix (%installer-configuration-file))) #:title (G_ "Configuration file") #:file (%installer-configuration-file) #:info-textbox-width width |