Dear Maintainer,

the current godot3-server binary is what upstream refer to as a "headless
build" (built with "platform=server tools=yes target=release_debug"), and there
is no binary for what upstream refer to as a "server build" (built with
"platform=server tools=no target=release"). Consider:

(1) Renaming "godot3-server" to "godot3-headless" for consistency with
upstream, and

(2) Adding a new "godot3-server" (built with "platform=server tools=no
target=release") for consistency and completeness, in case anyone needs the
much smaller "server build" binary.

Kind regards,
Ben.

Hi,
they got confused by this naming scheme, so I would +1 this.

This is also causing bad practice when packaging games, because the
package will depend on godot3-server to perform -headless tasks such as
generating .pck files (instead of godot3-headless), see e.g.:
https://lists.debian.org/debian-devel-games/2021/02/msg00013.html

If it's inconvenient to provider yet another build, maybe we can use
Provide:s.


FTR their terminology is:
https://godotengine.org/download/server

* "The _headless_ build includes the editor tool functionality that
enables it to run tests and export projects in an automated manner."

* "The _server_ build is optimized to run dedicated game servers and
does not include editor tools, graphics or audio support."

Cheers!
Sylvain