nixo
/
guix-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

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.
This commit is contained in:
Ludovic Courtès 2019-04-28 22:55:01 +02:00
parent ada4aeb068
commit d779de1817
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
gnu/installer/newt/final.scm
View File

@ -30,15 +30,24 @@
#:use-module (newt) #:use-module (newt)
#:export (run-final-page)) #: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) (define (run-config-display-page)
(let ((width (%configuration-file-width)) (let ((width (%configuration-file-width))
(height (nearest-exact-integer (height (nearest-exact-integer
(/ (screen-rows) 2)))) (/ (screen-rows) 2))))
(run-file-textbox-page (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. \ 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. \ The new system will be created from this file once you've pressed OK. \
This will take a few minutes.") This will take a few minutes.")
(strip-prefix (%installer-configuration-file)))
#:title (G_ "Configuration file") #:title (G_ "Configuration file")
#:file (%installer-configuration-file) #:file (%installer-configuration-file)
#:info-textbox-width width #:info-textbox-width width