GNU bug report logs - #28471
guix pull doesn't update the user manual

Previous Next

Package: guix;

Reported by: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

Date: Fri, 15 Sep 2017 20:40:02 UTC

Severity: important

Merged with 22629

Done: ludo <at> gnu.org (Ludovic Courtès)

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 28471 in the body.
You can then email your comments to 28471 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#28471; Package guix. (Fri, 15 Sep 2017 20:40:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Maxim Cournoyer <maxim.cournoyer <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Fri, 15 Sep 2017 20:40:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: bug-guix <bug-guix <at> gnu.org>
Subject: guix pull doesn't update the user manual
Date: Fri, 15 Sep 2017 16:39:06 -0400
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.




Severity set to 'wishlist' from 'normal' Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Wed, 20 Sep 2017 21:24:02 GMT) Full text and rfc822 format available.

Merged 22629 28471. Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Wed, 20 Sep 2017 21:24:04 GMT) Full text and rfc822 format available.

Severity set to 'important' from 'wishlist' Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Wed, 20 Sep 2017 21:26:02 GMT) Full text and rfc822 format available.

Did not alter fixed versions and reopened. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Sat, 09 Jun 2018 10:09:01 GMT) Full text and rfc822 format available.

Information forwarded to bug-guix <at> gnu.org:
bug#28471; Package guix. (Wed, 13 Jun 2018 21:47:03 GMT) Full text and rfc822 format available.

Message #16 received at 28471 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: 22629 <at> debbugs.gnu.org,  28471 <at> debbugs.gnu.org
Subject: Re: bug#28471: closed (Re: bug#22629: [PATCH 0/4] 'guix pull'
 produces a self-contained Guix)
Date: Wed, 13 Jun 2018 23:46:23 +0200
Hello!

>   • 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:

--8<---------------cut here---------------start------------->8---
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
--8<---------------cut here---------------end--------------->8---

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’.




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Wed, 03 Oct 2018 11:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 5 years and 206 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.