diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-09-21 23:00:07 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-09-23 10:38:44 +0200 |
| commit | dabdd7d4650da685a9bfe470abbc2ec066ff00b9 (patch) | |
| tree | 7bbb68903e165c88ddef0c92135256ca8795d7ed /gnu/installer | |
| parent | 192ee02aeb3d2f6d14ea93cfc43b30dd93df80e8 (diff) | |
| download | guix-dabdd7d4650da685a9bfe470abbc2ec066ff00b9.tar guix-dabdd7d4650da685a9bfe470abbc2ec066ff00b9.tar.gz | |
pull: Display news titles directly upon 'pull'.
* guix/scripts/pull.scm (display-profile-news): Return true when there's
more to display.
(display-news-entry-title): New procedure.
(display-news-entry): Use it.
(display-channel-specific-news): Return true when there's more to
display.
(display-channel-news-headlines): New procedure.
(build-and-install): Call it. When 'display-channel-news-headlines' or
'display-profile-news' returns #t, print a hint to run "pull --news".
(display-new/upgraded-packages): Return true when there's more to display.
Diffstat (limited to 'gnu/installer')
0 files changed, 0 insertions, 0 deletions