diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-07-22 19:47:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-07-22 22:56:41 +0200 |
| commit | d490d06e0f589828d38553850521d1995d3f0e13 (patch) | |
| tree | 4edf0804b3340c0e458fa211163d7af47f7a487b /gnu/system/grub.scm | |
| parent | 1eabf4ec63587a90fd8ea05a07f832d240dc3967 (diff) | |
| download | guix-d490d06e0f589828d38553850521d1995d3f0e13.tar guix-d490d06e0f589828d38553850521d1995d3f0e13.tar.gz | |
size: Add '--substitute-urls' option.
* guix/scripts/size.scm (show-help, %options): Add --substitute-urls.
(%default-options): Add 'substitute-urls'.
(guix-size): Honor it.
* doc/guix.texi (Invoking guix size): Document it.
Diffstat (limited to 'gnu/system/grub.scm')
0 files changed, 0 insertions, 0 deletions