From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Thompson, David" Subject: bug#22402: info guix pages Date: Tue, 19 Jan 2016 12:17:32 -0500 Message-ID: References: <20160119014714.GA13864@jasmine> <87a8o2djsu.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:37188) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aLZuw-0003SE-DX for bug-guix@gnu.org; Tue, 19 Jan 2016 12:18:10 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1aLZus-0004W0-HW for bug-guix@gnu.org; Tue, 19 Jan 2016 12:18:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:37499) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1aLZus-0004Vw-ET for bug-guix@gnu.org; Tue, 19 Jan 2016 12:18:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84) (envelope-from ) id 1aLZus-00051I-8m for bug-guix@gnu.org; Tue, 19 Jan 2016 12:18:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: carl hansen Cc: 22402@debbugs.gnu.org On Tue, Jan 19, 2016 at 4:34 AM, carl hansen wrote: > > Yes, that is the case, there is no mystery, there is indeed a > /root/.guix-profile/share/info/guix.info > and there is NOT a > ~user/.guix-profile/share/info/guix.info > > However I consider that a bug. Here I am a user, using guix, and I expect > "info guix" to work. Why would the user have to switch to root just to read > this one info file? After installing guix, I would expect guix.info to be > in my defalt .guix-profile, or a least a notice of how to install > guix.info. ( coping and linking I know how to do, that's not the problem. > It's a question > of creating a polished piece of software.) Would "guix package -i guix" do > the right thing? > That seems all wrong, would install stuff I already have. I think you need to adjust your expectations. You only have Guix available *in the root user's profile*. Each user has their own package profile, so running 'guix package -i guix' as your regular user is exactly what you want. Why would you expect the system to magically read the info pages out of root's profile? It's not installing stuff you already have because your user *didn't* have it. So, install the Guix package and set $INFOPATH to include $HOME/.guix-profile/share/info. Ludo, to avoid this confusion in the future, perhaps the binary installation instructions for folks on foreign distros could have an additional instruction. After symlinking root's guix to /usr/local/bin/guix, the documentation could suggest symlinking the docs to /usr/local/share/info. Would that help? - Dave