[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Tree-sitter api
From: |
Yuan Fu |
Subject: |
Re: Tree-sitter api |
Date: |
Fri, 1 Apr 2022 23:26:25 -0700 |
> On Apr 1, 2022, at 10:59 AM, Eli Zaretskii <eliz@gnu.org> wrote:
>
>> From: Yuan Fu <casouri@gmail.com>
>> Date: Fri, 1 Apr 2022 09:48:09 -0700
>> Cc: Lars Ingebrigtsen <larsi@gnus.org>,
>> Yoav Marco <yoavm448@gmail.com>,
>> Emacs developers <emacs-devel@gnu.org>,
>> ubolonton@gmail.com
>>
>>>>> If so, I think we should have our own load-path for these
>>>>> libraries; relying on the standard LD_LIBRARY_PATH etc. is not good
>>>>> enough (although we should support that as well). I envision that at
>>>>> least in some cases users will not want to have these libraries in the
>>>>> public places, or maybe even won't have the requisite access rights to
>>>>> do so. We should provide Emacs-style alternatives, like some
>>>>> subdirectory of ~/.emacs.d/ and/or under ${prefix}/lib/ (similar to
>>>>> *.eln files).
>>>>
>>>> Anyone have thoughts on this?
>>>
>>> What kind of thoughts? Whether or not to provide this feature (I
>>> think we should), or how best to implement that? Or something else?
>>
>> Thoughts on what paths should we use, whether we want to allow for custom
>> load-paths (I think we should), and if so, the name for the load path
>> variable ({tree-sitter/treesit/...}-language-definition-load-path?)
>
> I thought I answered all those questions, with the single exception of
> the name of the path variable.
Ah, I thought you are inviting for suggestions. I’ll use ~/.emacs.d/tree-sitter
and ${prefix}/lib and use ${tree-sitter-prefix}-load-path, if there’s no
further suggestions.
The treesit prefix seems to receive most votes (including mine), so if no
further objections I’ll change tree-sitter to treesit.
Yuan
- Re: Tree-sitter api, Eli Zaretskii, 2022/04/01
- Re: Tree-sitter api, Yuan Fu, 2022/04/01
- Re: Tree-sitter api, Eli Zaretskii, 2022/04/01
- Re: Tree-sitter api,
Yuan Fu <=
- Re: Tree-sitter api, Robert Pluim, 2022/04/04
- Re: Tree-sitter api, Yuan Fu, 2022/04/04
- Re: Tree-sitter api, Theodor Thornhill, 2022/04/20
- Re: Tree-sitter api, Yuan Fu, 2022/04/20
- Re: Tree-sitter api, Eli Zaretskii, 2022/04/21
- Re: Tree-sitter api, Lars Ingebrigtsen, 2022/04/21
- Re: Tree-sitter api, Theodor Thornhill, 2022/04/21
- Re: Tree-sitter api, Yuan Fu, 2022/04/21
- Re: Tree-sitter api, Theodor Thornhill, 2022/04/22
- Re: Tree-sitter api, Yuan Fu, 2022/04/22