Skip to content

Change of LP010: Increase character limit for naming Arduino libraries #508

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

Closed
3 tasks done
aentinger opened this issue Mar 9, 2023 · 0 comments · Fixed by #511
Closed
3 tasks done

Change of LP010: Increase character limit for naming Arduino libraries #508

aentinger opened this issue Mar 9, 2023 · 0 comments · Fixed by #511
Assignees
Labels
conclusion: resolved Issue was resolved criticality: medium Of moderate impact topic: code Related to content of the project itself type: enhancement Proposed improvement

Comments

@aentinger
Copy link

Describe the request

In my daily usage of this action I often find myself violating rule LP010, which recommends a maximum amount of characters of 16 for the name of any given Arduino library, i.e. here:

WARNING: library.properties name value Arduino_USBHostMbed5 is longer than the recommended length of 16 characters.
         See: https://arduino.github.io/arduino-cli/latest/library-specification/#libraryproperties-file-format    
         (Rule LP010)                                                                                              

Given the fact, that our official Arduino libraries have to be prefixed with Arduino_ already 8 out of 16 characters are given away to that mandated prefix.

I therefore suggest to increase the character limit for Arduino library names to at least 32 characters.

Describe the current behavior

arduino-lint behaves as it should this is about a rule change ;).

Arduino Lint version

1.2.1 2022-06-28T08:38:52Z

Operating system

N/A

Operating system version

Any.

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 version
  • My request contains all necessary details
@aentinger aentinger added the type: enhancement Proposed improvement label Mar 9, 2023
@per1234 per1234 added topic: code Related to content of the project itself criticality: medium Of moderate impact labels Mar 9, 2023
@per1234 per1234 self-assigned this Mar 9, 2023
@per1234 per1234 linked a pull request Mar 13, 2023 that will close this issue
@per1234 per1234 added the conclusion: resolved Issue was resolved label Mar 17, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
conclusion: resolved Issue was resolved criticality: medium Of moderate impact topic: code Related to content of the project itself type: enhancement Proposed improvement
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants