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 /COPYING | |
parent | a247fe7b0deebf85d42a2d5eb21cac0ecd32a965 (diff) | |
download | guix-fc2de6ce134fb012373387ff9d73c75c449c5cc9.tar 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 'COPYING')
0 files changed, 0 insertions, 0 deletions