diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-09-12 08:46:05 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-12 08:58:28 +0200 |
commit | fc2de6ce134fb012373387ff9d73c75c449c5cc9 (patch) | |
tree | c65b25ffeeeb5f1a493b5a395355a4809b94f28f /guix/scripts/system.scm | |
parent | a247fe7b0deebf85d42a2d5eb21cac0ecd32a965 (diff) | |
download | gnu-guix-fc2de6ce134fb012373387ff9d73c75c449c5cc9.tar gnu-guix-fc2de6ce134fb012373387ff9d73c75c449c5cc9.tar.gz |
guix system: Pretty-print device UUIDs.
* guix/scripts/system.scm (display-system-generation): Check if
ROOT-DEVICE is a UUID and pretty-print it if it is.
Diffstat (limited to 'guix/scripts/system.scm')
-rw-r--r-- | guix/scripts/system.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/guix/scripts/system.scm b/guix/scripts/system.scm index 7737793189..ea35fcdbc9 100644 --- a/guix/scripts/system.scm +++ b/guix/scripts/system.scm @@ -41,6 +41,7 @@ #:use-module (gnu bootloader) #:use-module (gnu system file-systems) #:use-module (gnu system linux-container) + #:use-module (gnu system uuid) #:use-module (gnu system vm) #:use-module (gnu services) #:use-module (gnu services shepherd) @@ -530,7 +531,10 @@ list of services." ;; TRANSLATORS: Please preserve the two-space indentation. (format #t (G_ " label: ~a~%") label) (format #t (G_ " bootloader: ~a~%") bootloader-name) - (format #t (G_ " root device: ~a~%") root-device) + (format #t (G_ " root device: ~a~%") + (if (uuid? root-device) + (uuid->string root-device) + root-device)) (format #t (G_ " kernel: ~a~%") kernel)))) (define* (list-generations pattern #:optional (profile %system-profile)) |