2eea62b26f
* added a dictionary size property * new language selection screen * added a language search field * SettingsStore now return a copy of the enabled languages to prevent accidental overwriting of the original settings object
10 lines
No EOL
590 B
Groovy
10 lines
No EOL
590 B
Groovy
ext.getDictionaryProperties = { dictionariesDir, sizesDir ->
|
|
fileTree(dir: dictionariesDir).getFiles().parallelStream().forEach {dictionary ->
|
|
def hash = dictionary.exists() ? dictionary.text.digest("SHA-1") : ""
|
|
def revision = dictionary.exists() ? exec("git log --pretty=tformat:%H -n 1 ${dictionary}") : ""
|
|
def size = dictionary.exists() ? dictionary.length() : 0
|
|
def words = dictionary.exists() ? dictionary.text.split("\n").length : 0
|
|
|
|
new File(sizesDir, "${dictionary.getName()}.props.yml").text = "hash: ${hash}\nrevision: ${revision}\nsize: ${size}\nwords: ${words}"
|
|
}
|
|
} |