all messages for Guix-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
* bug#41666: $INFOPATH should end with a colon
@ 2020-06-02 17:44 Jonas Bernoulli
  2020-06-02 18:15 ` Tobias Geerinckx-Rice via Bug reports for GNU Guix
  0 siblings, 1 reply; 2+ messages in thread
From: Jonas Bernoulli @ 2020-06-02 17:44 UTC (permalink / raw)
  To: 41666

On a foreign distro Guix installs /etc/profile.d/guix.sh, which among
other things adds the directory where it installs info pages to the
INFOPATH variable.

It takes care to not accidentally cause the value to end with a colon.
Unfortunately it should do the opposite because a trailing colon means
"... and also the default locations", which is highly desirable.

This is documented in (info "(texinfo)Other Info Directories"):

>    However you set 'INFOPATH', if its last character is a colon (on
> MS-DOS/MS-Windows systems, use a semicolon instead), this is replaced by
> the default (compiled-in) path.  This gives you a way to augment the
> default path with new directories without having to list all the
> standard places.  For example (using 'sh' syntax):
>
>      INFOPATH=/home/bob/info:
>      export INFOPATH
>
> will search '/home/bob/info' first, then the standard directories.
> Leading or doubled colons are not treated specially.

I recommend you just make this simple change:

-  export INFOPATH="$_GUIX_PROFILE/share/info${INFOPATH:+:}$INFOPATH"
+  export INFOPATH="$_GUIX_PROFILE/share/info$:$INFOPATH"

If INFOPATH is already set and does not end with a colon, then that
should be left as-is; it might be intentional.




^ permalink raw reply	[flat|nested] 2+ messages in thread

* bug#41666: $INFOPATH should end with a colon
  2020-06-02 17:44 bug#41666: $INFOPATH should end with a colon Jonas Bernoulli
@ 2020-06-02 18:15 ` Tobias Geerinckx-Rice via Bug reports for GNU Guix
  0 siblings, 0 replies; 2+ messages in thread
From: Tobias Geerinckx-Rice via Bug reports for GNU Guix @ 2020-06-02 18:15 UTC (permalink / raw)
  To: Jonas Bernoulli; +Cc: 41666

[-- Attachment #1: Type: text/plain, Size: 569 bytes --]

Jonas,

Jonas Bernoulli 写道:
> On a foreign distro Guix installs /etc/profile.d/guix.sh, which 
> among
> other things adds the directory where it installs info pages to 
> the
> INFOPATH variable.

Thanks for the report!

New installations (after 21 March) should not have this problem[0] 
so I've closed & merged your bug with that one.

It's safe to manually fix your local copy of ‘guix.sh’.  It was 
created by guix-install.sh, but Guix doesn't know about or touch 
it.

Kind regards,

T G-R

[0]: https://issues.guix.gnu.org/39984

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 227 bytes --]

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2020-06-02 18:16 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2020-06-02 17:44 bug#41666: $INFOPATH should end with a colon Jonas Bernoulli
2020-06-02 18:15 ` Tobias Geerinckx-Rice via Bug reports for GNU Guix

Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/guix.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.