size: Add '--substitute-urls' option.
authorLudovic Courtès <ludo@gnu.org>
Wed, 22 Jul 2015 17:47:01 +0000 (19:47 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 22 Jul 2015 20:56:41 +0000 (22:56 +0200)
commitd490d06e0f589828d38553850521d1995d3f0e13
tree4edf0804b3340c0e458fa211163d7af47f7a487b
parent1eabf4ec63587a90fd8ea05a07f832d240dc3967
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.
doc/guix.texi
guix/scripts/size.scm