[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#62795: 29.0.90; eglot: gdscript default port is 6005
From: |
xiliuya |
Subject: |
bug#62795: 29.0.90; eglot: gdscript default port is 6005 |
Date: |
Sun, 16 Apr 2023 14:16:18 +0800 |
User-agent: |
mu4e 1.10.3; emacs 29.0.90 |
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.
> 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?
--
xiliuya :)
- 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 <=
- 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, 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