diff options
author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 17:31:46 +0100 |
---|---|---|
committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-12-23 17:31:46 +0100 |
commit | 53fc988c4110e5a809d5780483c6a072c2dfae4e (patch) | |
tree | 12183aedea03c778d36629f894cc57de00cebb32 /basic.sh | |
parent | 92d20f8fd6b0e8036da83abe8e3c4e98b1e8e029 (diff) |
Allow for different licenses
Therefore, separate types of dictionaries in the configuration sections.
Reason: The dictionaries imported from wikdict are differently licensed.
Diffstat (limited to 'basic.sh')
-rw-r--r-- | basic.sh | 17 |
1 files changed, 9 insertions, 8 deletions
@@ -25,14 +25,7 @@ # All methods operate on the file "$tmp". -typeset -a langs -langs=( - fra-deu deu-fra - deu-eng eng-deu - fra-eng eng-fra - spa-eng eng-spa - ) - +# Dictionaries in the VCS tree, GPL2 assumed. typeset -a vcs_langs vcs_langs=( deu-eng eng-deu @@ -40,6 +33,14 @@ vcs_langs=( spa-eng eng-spa ) +typeset -a wikdict_langs +wikdict_langs=( + fra-deu deu-fra + ) + +typeset -a langs +langs=( ${vcs_langs[@]} ${wikdict_langs[@]} ) + function init { tmp_d="$(mktemp -d)" |