|
From: | GNU bug Tracking System |
Subject: | bug#45039: closed (Duplicate folders in docs) |
Date: | Fri, 16 Jul 2021 02:10:02 +0000 |
Your message dated Thu, 15 Jul 2021 22:09:13 -0400 with message-id <87im1bm2ly.fsf_-_@gmail.com> and subject line Re: bug#45039: Duplicate folders in docs has caused the debbugs.gnu.org bug report #45039, regarding Duplicate folders in docs to be marked as done. (If you believe you have received this mail in error, please contact help-debbugs@gnu.org.) -- 45039: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=45039 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems
--- Begin Message ---Subject: Duplicate folders in docs Date: Fri, 04 Dec 2020 10:44:36 +0100 User-agent: Posteo Webmail On https://guix.gnu.org/manual/en/html_node/Getting-Started.html there is a duplication of use of etc/profile -- Holger Peters <holger.peters@posteo.de>
--- End Message ---
--- Begin Message ---Subject: Re: bug#45039: Duplicate folders in docs Date: Thu, 15 Jul 2021 22:09:13 -0400 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/27.2 (gnu/linux) Hello, Ludovic Courtès <ludo@gnu.org> writes: > Hi, > > Leo Famulari <leo@famulari.name> skribis: > >> On Fri, Dec 04, 2020 at 10:51:37AM +0100, Holger Peters wrote: >>> * doc/guix.texi: Fixup path declaration. >> >>> @example >>> -GUIX_PROFILE="$HOME/.config/guix/current/etc/profile" >>> +GUIX_PROFILE="$HOME/.config/guix/current" >>> . "$GUIX_PROFILE/etc/profile" >>> @end example >> >> Thanks! That example is definitely not right... > > Indeed; applying. Thanks! Closing. Maxim
--- End Message ---
[Prev in Thread] | Current Thread | [Next in Thread] |