DenverCoder1/latex-gboard-dictionary
View on GitHubBash: check for duplicate lines in the dictionary file
Open
#84 opened on Oct 3, 2022
beginner-friendlygood first issueup-for-grabs
Repository metrics
- Stars
- (507 stars)
- PR merge metrics
- (No merged PRs in 30d)
Description
The dictionary should not contain the same shortcut twice. As a linting feature, it can be made to check if a shortcut appears more than once. Checking for entire line duplicates should be sufficient.
Relevant file: https://github.com/DenverCoder1/latex-gboard-dictionary/blob/master/.github/lint