Skip to content

Add Arduino Lint installation path as a configuration field #29

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 1 commit into from
May 21, 2021
Merged

Add Arduino Lint installation path as a configuration field #29

merged 1 commit into from
May 21, 2021

Conversation

per1234
Copy link
Contributor

@per1234 per1234 commented May 21, 2021

Previously, it was assumed that Arduino Lint was installed somewhere under PATH. That may not be convenient under some
circumstances, so the ability is added to set the path to the arduino-lint executable via the configuration file's
ArduinoLintPath key. If the configuration is not provided, the previous behavior is used.

Previously, it was assumed that Arduino Lint was installed somewhere under PATH. That may not be convenient under some
circumstances, so the ability is added to set the path to the arduino-lint executable via the configuration file's
`ArduinoLintPath` key. If the configuration is not provided, the previous behavior is used.
@per1234 per1234 added type: enhancement Proposed improvement topic: code Related to content of the project itself labels May 21, 2021
@per1234 per1234 requested review from silvanocerza, umbynos and rsora May 21, 2021 10:13
Copy link
Contributor

@rsora rsora left a comment

Choose a reason for hiding this comment

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

👍

@per1234 per1234 merged commit bdc0916 into arduino:main May 21, 2021
@per1234 per1234 deleted the arduino-lint-path-configuration branch May 21, 2021 10:20
@per1234 per1234 self-assigned this Nov 20, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants