DenverCoder1/latex-gboard-dictionary

Bash: check for duplicate lines in the dictionary file

Ouverte

#84 ouverte le 3 oct. 2022

 (2 commentaires) (0 réaction) (1 personne assignée) (63 forks)github user discovery
beginner-friendlygood first issueup-for-grabs

Métriques du dépôt

Stars
 (507 étoiles)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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

Guide contributeur