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

Add support to global platform.txt as in Arduino IDE 1 #1452

Closed
3 tasks done
fabianoriccardi opened this issue Sep 16, 2022 · 1 comment
Closed
3 tasks done

Add support to global platform.txt as in Arduino IDE 1 #1452

fabianoriccardi opened this issue Sep 16, 2022 · 1 comment
Assignees
Labels
conclusion: duplicate Has already been submitted conclusion: off topic Off topic for this repository topic: CLI Related to Arduino CLI type: enhancement Proposed improvement

Comments

@fabianoriccardi
Copy link

Describe the request

Re-introduce the support to the global platform.txt file.

I have read that currently is not supported, but I had used it to run automatic script such as https://github.com/fabianoriccardi/git-describe-arduino which relies on it.

Describe the current behavior

not supported

Arduino IDE version

2.0.0

Operating system

Windows

Operating system version

10

Additional context

No response

Issue checklist

  • I searched for previous requests in the issue tracker
  • I verified the feature was still missing when using the latest nightly build
  • My request contains all necessary details
@fabianoriccardi fabianoriccardi added the type: enhancement Proposed improvement label Sep 16, 2022
@per1234
Copy link
Contributor

per1234 commented Sep 17, 2022

Hi @fabianoriccardi. Thanks for taking the time to submit an issue.

I see we have another report about this at arduino/arduino-cli#999.

It is best to have only a single issue per subject so we can consolidate all relevant discussion to one place, so I'll go ahead and close this in favor of the other.

If you end up with additional information to share, feel free to comment in the other thread.

@per1234 per1234 closed this as not planned Won't fix, can't repro, duplicate, stale Sep 17, 2022
@per1234 per1234 added conclusion: duplicate Has already been submitted conclusion: off topic Off topic for this repository topic: CLI Related to Arduino CLI labels Sep 17, 2022
@per1234 per1234 self-assigned this Sep 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: duplicate Has already been submitted conclusion: off topic Off topic for this repository topic: CLI Related to Arduino CLI type: enhancement Proposed improvement
Projects
None yet
Development

No branches or pull requests

2 participants