DenverCoder1/latex-gboard-dictionary

Bash: check for duplicate lines in the dictionary file

Aberta

#84 aberto em 3 de out. de 2022

 (2 comentários) (0 reação) (1 responsável) (63 forks)github user discovery
beginner-friendlygood first issueup-for-grabs

Métricas do repositório

Stars
 (507 estrelas)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 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

Guia do colaborador