Skip to content

Commit 059f834

Browse files
authored
Mueve dict -> dictionaries/_base.txt (#1651)
El archivo "dict" anteriormente era el único archivo donde se guardaban las palabras para usar con el chequeador de ortografía, Actualmente usamos la técnica de tener un archivo por módulo dentro del ubdirectorio diccionaries/ donde se agregan las palabras de forma individual al módulo que corresponde. Al momento de chequear la ortografía del proyecto entero, se mergean todos los diccionarios en uno solo llamado "dict.txt", el cual existe efímeramente, y que no tiene que ser editado. La existencia de dos archivos "dict" y "dict.txt" es confusa, y más aún cuando hay además un subdirectorio con más diccionarios dentro. Para mejorar esta situación, este commit mueve "dict" a diccionaries/_base.txt. El nunevo nombre sirve dos propósitos: la extensión .txt asegura que el diccionario va a ser parte del proceso de mergeo de diccionarios; y segundo, el prefijo "_" lo hace ver como un archivo especial que se diferencia claramente del resto. Finalmente, también aproveché de sacar el target dict_dups del Makefile, el cual no tenía sentido mantener. Signed-off-by: Rodrigo Tobar <rtobar@icrar.org>
1 parent 05f321b commit 059f834

File tree

3 files changed

+0
-18
lines changed

3 files changed

+0
-18
lines changed

Makefile

-14
Original file line numberDiff line numberDiff line change
@@ -96,17 +96,3 @@ spell: venv
9696
.PHONY: wrap
9797
wrap: venv
9898
$(VENV)/bin/powrap **/*.po
99-
100-
.PHONY: dict_dups
101-
SHELL:=/bin/bash
102-
.ONESHELL:
103-
dict_dups:
104-
if [[ $$(cat dict| sort | uniq -dc) ]]; then
105-
echo -e "\n #######################\n"
106-
echo "duplicated lines in the dict file"
107-
sort dict | uniq -dc |sort -h
108-
exit 1
109-
else
110-
echo "no duplicated lines"
111-
exit 0
112-
fi
File renamed without changes.

scripts/create_dict.py

-4
Original file line numberDiff line numberDiff line change
@@ -25,10 +25,6 @@
2525
# Remove empty string, from empty lines
2626
entries.remove("")
2727

28-
# Read main 'dict'
29-
with open("dict", "r") as f:
30-
entries.update(set(i.rstrip() for i in f.readlines()))
31-
3228
# Write the 'dict.txt' file
3329
with open("dict.txt", "w") as f:
3430
for e in entries:

0 commit comments

Comments
 (0)