diff options
author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-03-31 00:58:43 +0200 |
---|---|---|
committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-03-31 00:58:43 +0200 |
commit | e3bfbb28e8cd30c71d1d1cce0649ed7d448312f0 (patch) | |
tree | 73d7516525bc515b5935eca34135cb03b050353b /basic.sh | |
parent | bbc3e4cfa5c02ad3ff8dcd3b7a95e568ac434c6f (diff) |
Add support for dict-freedict-* in make_install
Furthermore:
- Move $langs[] to basic.sh in order to be able to use it in make_install.
- Add -f to rm in cleanup() in order to prevent unforeseen errors, that
don't matter.
Diffstat (limited to 'basic.sh')
-rw-r--r-- | basic.sh | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -1,5 +1,13 @@ #!/bin/bash +typeset -a langs +langs=( + fra-deu deu-fra + deu-eng eng-deu + fra-eng eng-fra + spa-eng eng-spa + ) + function init { tmp_d="$(mktemp -d)" @@ -9,7 +17,7 @@ function init function cleanup { - rm -r "$tmp_d" + rm -rf "$tmp_d" } trap cleanup EXIT |