diff options
| author | Ludovic Courtès <[email protected]> | 2017-09-12 08:46:05 +0200 |
|---|---|---|
| committer | Ludovic Courtès <[email protected]> | 2017-09-12 08:58:28 +0200 |
| commit | fc2de6ce134fb012373387ff9d73c75c449c5cc9 (patch) | |
| tree | c65b25ffeeeb5f1a493b5a395355a4809b94f28f /gnu/packages/mpi.scm | |
| parent | a247fe7b0deebf85d42a2d5eb21cac0ecd32a965 (diff) | |
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 'gnu/packages/mpi.scm')
0 files changed, 0 insertions, 0 deletions