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 /NEWS | |
parent | f34c56be3a53c10d9a267331a0a6119c79c815a0 (diff) | |
download | patches-906b1b09861e5fcc8ef0b0de8e692d5fea95a976.tar patches-906b1b09861e5fcc8ef0b0de8e692d5fea95a976.tar.gz |
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 'NEWS')
0 files changed, 0 insertions, 0 deletions