diff options
Diffstat (limited to 'general-config.sh')
-rw-r--r-- | general-config.sh | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/general-config.sh b/general-config.sh index 43b10b3..040ec6a 100644 --- a/general-config.sh +++ b/general-config.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash # -# Copyright 2018 Einhard Leichtfuß +# Copyright 2018,2022 Einhard Leichtfuß # # general-config.sh - general configuration options # @@ -37,7 +37,7 @@ wikdict_langs=( ) typeset -a langs -langs=( ${vcs_langs[@]} ${wikdict_langs[@]} ) +langs=( "${vcs_langs[@]}" "${wikdict_langs[@]}" ) # Long names table. @@ -61,14 +61,14 @@ contrs[eng-fra-bin]=\ # Licenses (indexed by $lang) typeset -A licenses -for lang in ${vcs_langs[@]} +for lang in "${vcs_langs[@]}" do - licenses[$lang]="'GPL'" + licenses["$lang"]="'GPL'" done -for lang in ${wikdict_langs[@]} +for lang in "${wikdict_langs[@]}" do - licenses[$lang]="'CCPL:by-sa' 'FDL'" + licenses["$lang"]="'CCPL:by-sa' 'FDL'" done @@ -79,11 +79,11 @@ typeset -A prepare prepare[deu-fra]=\ 'prepare() { - cd $_lang + cd "$_lang" sed -Ei \ -e '"'"'s/(10)(10)(100\>)(\s+\(10)(Googol.*(1|Eins) mit einem Googol Nullen)/\1^(\2^\3)\4^\5/'"'"' \ -e '"'"'s/(10)([1-9][0-9]*)(.*(1|Eins) mit \2 Nullen)/\1\^\2\3/'"'"' \ -e '"'"'s/(die Zahl 10)(60)/\1^\2/'"'"' \ - ${_lang}.tei + "${_lang}.tei" } ' |