GNU bug report logs - #70798
[PATCH] guix-install.sh: add ~/.guix-profile/share/info to INFOPATH

Previous Next

Package: guix-patches;

Reported by: Trevor Arjeski <tmarjeski <at> gmail.com>

Date: Mon, 6 May 2024 07:11:02 UTC

Severity: normal

Tags: patch

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

Bug is archived. No further changes may be made.

Full log

Message #10 received at 70798-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Trevor Arjeski <tmarjeski <at> gmail.com>
Cc: 70798-done <at> debbugs.gnu.org
Subject: Re: [bug#70798] [PATCH] guix-install.sh: add
 ~/.guix-profile/share/info to INFOPATH
Date: Sun, 02 Jun 2024 11:40:33 +0200

Hi,

Trevor Arjeski <tmarjeski <at> gmail.com> skribis:

> Adding ~/.guix-profile/share/info to the INFOPATH env var so that when a user
> does `guix install [package]` that package's info pages can be found.

I tweaked the commit log and applied it, thanks!

Ludo’.
This bug report was last modified 355 days ago.

Previous Next

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