diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-07-12 15:41:49 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-12 21:56:17 +0200 |
| commit | a6c1fe824002d022ff3ba7c8b93987965db29641 (patch) | |
| tree | 524d954be970d247357f6b3092d59060a052b491 /etc | |
| parent | 1ac3a488ad9724ecc45450c57eab2d360f274303 (diff) | |
| download | patches-a6c1fe824002d022ff3ba7c8b93987965db29641.tar patches-a6c1fe824002d022ff3ba7c8b93987965db29641.tar.gz | |
size: Add '--sort=KEY'.
* guix/scripts/size.scm (profile-closure<?, profile-self<?): New
procedures.
(display-profile): Add #:profile<? parameter and honor it.
(show-help, %options): Add '--sort'.
(%default-options): Add 'profile<?'.
(guix-size): Pass PROFILE<? to 'display-profile*'.
* doc/guix.texi (Invoking guix size): Document '--sort'.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions