Skip to content

Document the installation method for our optional telemetry#198

Merged
vmcj merged 1 commit into
DOMjudge:mainfrom
vmcj:install_method_snapshot
Jun 7, 2026
Merged

Document the installation method for our optional telemetry#198
vmcj merged 1 commit into
DOMjudge:mainfrom
vmcj:install_method_snapshot

Conversation

@vmcj

@vmcj vmcj commented Feb 1, 2026

Copy link
Copy Markdown
Member

I wonder if we should remove the option from the configure script and always do the sed trick and set it per target instead of letting the configure script handle it.

@vmcj
vmcj merged commit ae99b85 into DOMjudge:main Jun 7, 2026
3 checks passed
@vmcj
vmcj deleted the install_method_snapshot branch June 7, 2026 06:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants