diff options
author | Chris Marusich <cmmarusich@gmail.com> | 2016-11-01 22:48:13 -0700 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-11-06 18:08:53 +0100 |
commit | aff7280a0b2fabd2657923fcce62332cd5629e7b (patch) | |
tree | a879c92e0b05e129dc3a0ef111b834854518feff /.gitignore | |
parent | 45e39eee21f958a6a1445bef46a39cbe4b298cd2 (diff) | |
download | patches-aff7280a0b2fabd2657923fcce62332cd5629e7b.tar patches-aff7280a0b2fabd2657923fcce62332cd5629e7b.tar.gz |
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 <ludo@gnu.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions