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

About pio core override extensions.json enhancement #4383

Closed
1 task done
seishinkouki opened this issue Aug 5, 2022 · 2 comments
Closed
1 task done

About pio core override extensions.json enhancement #4383

seishinkouki opened this issue Aug 5, 2022 · 2 comments

Comments

@seishinkouki
Copy link

seishinkouki commented Aug 5, 2022

  • Feature Request.
    Start by telling us what problem you’re trying to solve. Often a solution
    already exists! Don’t send pull requests to implement new features without first getting our
    support. Sometimes we leave features out on purpose to keep the project small.

Currently, pio will keep user custom [recommendations] section when overriding extensions.json, I think it will be helpful keep both custom [recommendations] and [unwanted Recommendations] sections.

@ivankravets
Copy link
Member

Please re-test with pio upgrade --dev.

@seishinkouki
Copy link
Author

Please re-test with pio upgrade --dev.

it work as expected, thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants