DenverCoder1/latex-gboard-dictionary
Bash: check for duplicate lines in the dictionary file
オープン
#84 opened on 2022/10/03
beginner-friendlygood first issueup-for-grabs
Repository metrics
- Stars
- (507 個のスター)
- PR merge metrics
- (30d に merged PR はありません)
説明
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