Skip to content
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

package: add version to board package name #5046

Merged
merged 2 commits into from
Aug 20, 2018
Merged

Conversation

igrr
Copy link
Member

@igrr igrr commented Aug 14, 2018

In tools menu, boards belonging to each platform are grouped together.
The title of the groups is the board package name. When switching
between versions, mentioning the version number in package name helps
identify the installed version.

Rename board group from "ESP8266 Modules" to "ESP8266 Boards (2.5.0-dev)", to be
more similar to other platforms, and to reflect the fact that most
entries included are boards, not modules.

In the next released version (e.g. 2.5.0) the name will be automatically set to "ESP8266 Boards (2.5.0)".

As an extra change, when building the boards manager package, set
version number in platform.txt based on git tag name. This saves one
step when creating the release — don't need to update platform.txt
twice.

Closes #5007.

In tools menu, boards belonging to each platform are grouped together.
The title of the groups is the board package name. When switching
between versions, mentioning the version number in package name helps
identify the installed version.

Rename board group from "ESP8266 Modules" to "ESP8266 Boards", to be
more similar to other platforms, and to reflect the fact that most
entries included are boards, not modules.

As an extra change, when building the boards manager package, set
version number in platform.txt based on git tag name. This saves one
step when creating the release — don't need to update platform.txt
twice.

Closes #5007.
@igrr igrr requested a review from devyte August 14, 2018 19:03
@igrr igrr merged commit b657090 into master Aug 20, 2018
@igrr igrr deleted the feature/platform_name branch August 20, 2018 09:16
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