[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62795: 29.0.90; eglot: gdscript default port is 6005
From: |
Ruijie Yu |
Subject: |
bug#62795: 29.0.90; eglot: gdscript default port is 6005 |
Date: |
Sun, 16 Apr 2023 15:36:59 +0800 |
On Apr 16, 2023, at 14:28, xiliuya <xiliuya@aliyun.com> wrote:
>
>
> Ruijie Yu <ruijie@netyu.xyz> writes:
>
>> This is a user-local config file, with an interesting "_4" in its name.
>> Is it possible to have other numbers attached to the file name? Does it
>> have a global default port for which we can search? Something like
>> "/usr/share/godot/..." or "/etc/godot/..."? Also, from your original
>> report, there seems to be a default value compiled into its C/C++
>> source. Is there any chance to retrieve that value from a distributed
>> package?
>
> The "_4" suffix refers to the godot version number.
> ```
> Godot3: editor_settings-3.tres
> Godot4: editor_settings-4.tres
>
> ```
> The default configuration file is not provided with the installation
> package,but is automatically generated under `$HOME/.config/godot`
> after `godot` starts.
Great, that means the function only needs to look at one particular file which
is guaranteed to exist unless the lsp server is not run. Note, though, that
there might be a need for a defcustom on the godot version in effect because it
is possible that a user does not have the newest environment installed, right?
>> The rest, including the discussion of how exactly to implement this
>> function, should then be handled in the repo of "gdscript-mode", since
>> it is not part of GNU Elpa nor NonGNU Elpa.
>
> So should gdscript-mode handle this function?
That is my opinion as someone who happens to regularly use Emacs in the past
few years. This should be João’s decision to make, since he is the maintainer
of eglot.
> --
> xiliuya :)
--
Best,
RY
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, xiliuya, 2023/04/12
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, Eli Zaretskii, 2023/04/15
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, João Távora, 2023/04/15
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, xiliuya, 2023/04/15
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, Ruijie Yu, 2023/04/16
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, xiliuya, 2023/04/16
- bug#62795: 29.0.90; eglot: gdscript default port is 6005,
Ruijie Yu <=
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, xiliuya, 2023/04/16
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, João Távora, 2023/04/16
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, xiliuya, 2023/04/16
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, Ruijie Yu, 2023/04/17
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, Ruijie Yu, 2023/04/17
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, xiliuya, 2023/04/17
- bug#62795: 29.0.90; eglot: gdscript default port is 6005, João Távora, 2023/04/16