GNU bug report logs - #41662
[PATCH] gnu: zsh: Set default '$fpath'.

Previous Next

Full log

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

From: Ludovic Courtès <ludo <at> gnu.org>
To: Brice Waegeneire <brice <at> waegenei.re>
Cc: 41662 <at> debbugs.gnu.org
Subject: Re: [bug#41662] [PATCH] gnu: zsh: Set default '$fpath'.
Date: Fri, 12 Jun 2020 16:46:00 +0200

Hi,

Brice Waegeneire <brice <at> waegenei.re> skribis:

> On 2020-06-11 17:08, Ludovic Courtès wrote:
>>> +                  ,(string-append
>>> +                    "--enable-additional-fpath="
>>> +                    "/usr/local/share/zsh/site-functions," ; for
>>> foreign OS
>>> +
>>> "/run/current-system/profile/share/zsh/site-functions"))
>>
>> /usr/local seems arbitrary.  What if we omit it, will that break zsh on
>> foreign distros?
>
> I let it there because it's a default[0] and because it was already
> present
> in our current zsh package, you can test that with “zsh -df -c 'echo
> $fpath'”.

OK, that makes sense to me.

Thanks,
Ludo’.

Previous Next

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