Skip to content

Update ls release version automatically using ldflags #139

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 4 commits into from
Oct 19, 2022

Conversation

MatteoPologruto
Copy link
Contributor

@MatteoPologruto MatteoPologruto commented Oct 18, 2022

Please check if the PR fulfills these requirements

What kind of change does this PR introduce?

Infrastructure enhancement

What is the current behavior?

The Language Server's version (ServerInfo) has to be manually set to the new one during the release process.

What is the new behavior?

The Language Server's version will be automatically updated using ldflags. The version will also be printed in the log when a new Arduino Language Server is configured.
The changes were tested in this release: https://github.com/MatteoPologruto/arduino-language-server/releases/tag/99.99.99


@MatteoPologruto MatteoPologruto added type: enhancement Proposed improvement topic: infrastructure Related to project infrastructure labels Oct 18, 2022
@MatteoPologruto MatteoPologruto self-assigned this Oct 18, 2022
@MatteoPologruto MatteoPologruto changed the title Update ls release version automatically Update ls release version automatically using ldflags Oct 18, 2022
Copy link
Contributor

@umbynos umbynos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Left some comments 🦅

Copy link
Contributor

@umbynos umbynos left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think we can remove the i18n stuff

@MatteoPologruto MatteoPologruto merged commit b9bbe20 into arduino:main Oct 19, 2022
@MatteoPologruto MatteoPologruto deleted the version-update branch October 19, 2022 09:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: infrastructure Related to project infrastructure type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants