mirror of
https://git.in.rschanz.org/ryan77627/guix.git
synced 2024-12-25 05:48:07 -05:00
status: Allow double-click select of URLs.
Various places while downloading or compiling guix prints the source URL. This change makes the URL easier to use by placing a space between the URL and the trailing dots. Signed-off-by: Marius Bakke <mbakke@fastmail.com>
This commit is contained in:
parent
974bf81776
commit
8fa4ac5be4
1 changed files with 5 additions and 5 deletions
|
@ -472,16 +472,16 @@ (define erase-current-line*
|
|||
(let ((count (match (assq-ref properties 'graft)
|
||||
(#f 0)
|
||||
(lst (or (assq-ref lst 'count) 0)))))
|
||||
(format port (info (N_ "applying ~a graft for ~a..."
|
||||
"applying ~a grafts for ~a..."
|
||||
(format port (info (N_ "applying ~a graft for ~a ..."
|
||||
"applying ~a grafts for ~a ..."
|
||||
count))
|
||||
count drv)))
|
||||
('profile
|
||||
(let ((count (match (assq-ref properties 'profile)
|
||||
(#f 0)
|
||||
(lst (or (assq-ref lst 'count) 0)))))
|
||||
(format port (info (N_ "building profile with ~a package..."
|
||||
"building profile with ~a packages..."
|
||||
(format port (info (N_ "building profile with ~a package ..."
|
||||
"building profile with ~a packages ..."
|
||||
count))
|
||||
count)))
|
||||
('profile-hook
|
||||
|
@ -525,7 +525,7 @@ (define erase-current-line*
|
|||
(newline port)))
|
||||
(('download-started item uri _ ...)
|
||||
(erase-current-line*)
|
||||
(format port (info (G_ "downloading from ~a...")) uri)
|
||||
(format port (info (G_ "downloading from ~a ...")) uri)
|
||||
(newline port))
|
||||
(('download-progress item uri
|
||||
(= string->number size)
|
||||
|
|
Loading…
Reference in a new issue