DenverCoder1/latex-gboard-dictionary

Bash: check for duplicate lines in the dictionary file

Offen

#84 geöffnet am 03.10.2022

 (2 Kommentare) (0 Reaktionen) (1 zugewiesene Person) (63 Forks)github user discovery
beginner-friendlygood first issueup-for-grabs

Repository-Metriken

Stars
 (507 Sterne)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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