From 28e2c42f991482aeca4377a3bad2b3e81e70a027 Mon Sep 17 00:00:00 2001 From: Rodrigo Tobar Date: Thu, 25 Nov 2021 01:39:55 +0800 Subject: [PATCH] Mueve dict -> dictionaries/_base.txt MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 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 --- Makefile | 14 -------------- dict => dictionaries/_base.txt | 0 scripts/create_dict.py | 4 ---- 3 files changed, 18 deletions(-) rename dict => dictionaries/_base.txt (100%) diff --git a/Makefile b/Makefile index beda468e0e..becb1f77b5 100644 --- a/Makefile +++ b/Makefile @@ -96,17 +96,3 @@ spell: venv .PHONY: wrap wrap: venv $(VENV)/bin/powrap **/*.po - -.PHONY: dict_dups -SHELL:=/bin/bash -.ONESHELL: -dict_dups: - if [[ $$(cat dict| sort | uniq -dc) ]]; then - echo -e "\n #######################\n" - echo "duplicated lines in the dict file" - sort dict | uniq -dc |sort -h - exit 1 - else - echo "no duplicated lines" - exit 0 - fi diff --git a/dict b/dictionaries/_base.txt similarity index 100% rename from dict rename to dictionaries/_base.txt diff --git a/scripts/create_dict.py b/scripts/create_dict.py index 882e92e106..5d95ea4a8a 100644 --- a/scripts/create_dict.py +++ b/scripts/create_dict.py @@ -25,10 +25,6 @@ # Remove empty string, from empty lines entries.remove("") -# Read main 'dict' -with open("dict", "r") as f: - entries.update(set(i.rstrip() for i in f.readlines())) - # Write the 'dict.txt' file with open("dict.txt", "w") as f: for e in entries: