diff options
author | Chris Marusich <[email protected]> | 2016-11-01 22:48:13 -0700 |
---|---|---|
committer | Ludovic Courtès <[email protected]> | 2016-11-06 18:08:53 +0100 |
commit | aff7280a0b2fabd2657923fcce62332cd5629e7b (patch) | |
tree | a879c92e0b05e129dc3a0ef111b834854518feff /gnu/build | |
parent | 45e39eee21f958a6a1445bef46a39cbe4b298cd2 (diff) |
system: Optionally limit the entries returned by profile-grub-entries.
* guix/scripts/system.scm (profile-grub-entries): Add an optional parameter
which allows the caller to limit the number of returned grub entries.
Signed-off-by: Ludovic Courtès <[email protected]>
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions