guix pull doesn't update the user manual

  • Done
  • quality assurance status badge
Details
2 participants
  • Ludovic Courtès
  • Maxim Cournoyer
Owner
unassigned
Submitted by
Maxim Cournoyer
Severity
important
Merged with
M
M
Maxim Cournoyer wrote on 15 Sep 2017 22:39
(name . bug-guix)(address . bug-guix@gnu.org)
87tw03r91x.fsf@gmail.com
guix pull should build and install the latest documentation of Guix to
the user profile so that `info guix' always displays the current
documentation.

This seems to confuse Guix users every now and then, myself included,
and the work around of cloning a full copy of the guix sources just to
build the manual is not user friendly nor trivial.
L
L
Ludovic Courtès wrote on 20 Sep 2017 23:23
control message for bug #28471
(address . control@debbugs.gnu.org)
87vakdqd2q.fsf@gnu.org
severity 28471 wishlist
L
L
Ludovic Courtès wrote on 20 Sep 2017 23:23
(address . control@debbugs.gnu.org)
87tvzxqd2l.fsf@gnu.org
merge 28471 22629
L
L
Ludovic Courtès wrote on 20 Sep 2017 23:25
control message for bug #22629
(address . control@debbugs.gnu.org)
87shfhqczb.fsf@gnu.org
severity 22629 important
L
L
Ludovic Courtès wrote on 13 Jun 2018 23:46
Re: bug#28471: closed (Re: bug#22629: [PATCH 0/4] 'guix pull' produces a self-contained Guix)
87bmcenyvk.fsf@gnu.org
Hello!

Toggle quote (5 lines)
> • Meta-data about what was pulled is kept in manifest entries, using
> the ‘properties’ discussed in <https://bugs.gnu.org/31442>.
> Currently the UI doesn’t use it but you can see that info in
> ~/.config/guix/current/manifest.

Commit e2f8be0664609223369f01290b69b44196783ab3 adds ‘guix pull -l’,
which produces output like this:

Toggle snippet (19 lines)
Generation 1 Jun 10 2018 00:18:18
guix 65956ad
repository URL: https://git.savannah.gnu.org/git/guix.git
branch: origin/master
commit: 65956ad3526ba09e1f7a40722c96c6ef7c0936fe

Generation 2 Jun 11 2018 11:02:49
guix e0cc7f6
repository URL: https://git.savannah.gnu.org/git/guix.git
branch: origin/master
commit: e0cc7f669bec22c37481dd03a7941c7d11a64f1d

Generation 3 Jun 13 2018 23:31:07 (current)
guix 844cc1c
repository URL: https://git.savannah.gnu.org/git/guix.git
branch: origin/master
commit: 844cc1c8f394f03b404c5bb3aee086922373490c

In the future it could also display information such as the number of
packages available, the number of added/upgraded packages, and so on.

Ludo’.
?