diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2014-11-11 22:27:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2014-11-11 22:42:42 +0100 |
| commit | 906b1b09861e5fcc8ef0b0de8e692d5fea95a976 (patch) | |
| tree | d45d547c9ff856a5eab74b90e0ce5fa659a4471e /gnu | |
| parent | f34c56be3a53c10d9a267331a0a6119c79c815a0 (diff) | |
guix system: Decorate GRUB entries of old generations with date and number.
* guix/scripts/system.scm (seconds->string): New procedure.
(previous-grub-entries)[system->grub-entry]: Add 'number' and 'time'
parameters. Adjust call accordingly.
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions