[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#41662: [PATCH] gnu: zsh: Set default '$fpath'.
From: |
Brice Waegeneire |
Subject: |
bug#41662: [PATCH] gnu: zsh: Set default '$fpath'. |
Date: |
Sun, 14 Jun 2020 15:33:38 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.0.91 (gnu/linux) |
Ludovic Courtès <ludo@gnu.org> writes:
> Brice Waegeneire <brice@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.
Pushed as 4f6e6c0442368ac3fd7e95f1fc264671d9182c00.
- Brice