Agregar script para crear dict.txt#1059
Conversation
Usuarios en Windows, que no utilizan Git bash no pueden generar el archivo `dict.txt`, pues no tienen acceso al comando 'awk'. Si bien, la construcción de toda la documentación no es necesaria, este paso es importante incluso cuando se quiere hacer la verificación pospell a un archivo determinado, pues necesitamos el diccionario general que incluye todas las variaciones de 'dictionaries/' y 'dict'.
mondeja
left a comment
There was a problem hiding this comment.
¿Qué te parecen estos pequeños cambios en el script?
|
En realidad deberíamos usar |
Co-authored-by: Álvaro Mondéjar <mondejar1994@gmail.com>
|
Tengo que testear en Windows y macOS y lo convierto a 'ready for review' |
Bgeninatti
left a comment
There was a problem hiding this comment.
No soy muy entendido sobre la parte de Travis, pero hice un comentario sobre el script de python.
Gracias por el aporte!
| # Read custom dictionaries | ||
| for filename in Path("dictionaries").glob("*.txt"): | ||
| with open(filename, "r") as f: | ||
| lines = [i.rstrip() for i in f.readlines()] |
There was a problem hiding this comment.
Que te parece hacerlo case insensitive?
y hacer
lines = [i.rstrip().lower() for i in f.readlines()]
There was a problem hiding this comment.
Lo habíamos discutido antes de implementar lo de dictionaries/ pero al final el tema fue que si algo decía por ejemplo la the PythonClassImportantBla y alguien lo deja como la pythonclassimportantbla no iba a dejar un error, entonces lo mismo ocurre cuando algo que comienza despues de un punto o un párrafo.
mondeja
left a comment
There was a problem hiding this comment.
Me parece que está perfecto 👍
Usuarios en Windows, que no utilizan Git bash no pueden generar el
archivo
dict.txt, pues no tienen acceso al comando 'awk'.Si bien, la construcción de toda la documentación no es necesaria,
este paso es importante incluso cuando se quiere hacer la verificación
pospell a un archivo determinado, pues necesitamos el diccionario
general que incluye todas las variaciones de 'dictionaries/'
y 'dict'.