DenverCoder1/latex-gboard-dictionary

Bash: check for duplicate lines in the dictionary file

Open

#84 opened on Oct 3, 2022

View on GitHub
 (2 comments) (0 reactions) (1 assignee) (63 forks)github user discovery
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

Contributor guide