Age | Commit message (Collapse) | Author |
|
Now, other people than myself might be maintainer.
Also, add `| exit 1' to the sourcing of scripts.
Furthermore, add note to the scripts in the sample.* files.
|
|
Therefore, separate types of dictionaries in the configuration sections.
Reason: The dictionaries imported from wikdict are differently licensed.
|
|
|
|
Do not longer rely on them being symlinked to the target directories.
Also, fix small error in make_install.sh:main() ($1 -> $2).
And add some comments.
|
|
|
|
- Add input and write to basic.sh to no longer need to know "$tmp" in
the calling scripts.
Also,
- make runnable from outside the directory containing the scripts,
- simplify chained grep and sed commands.
|
|
|
|
|
|
EREs: extended regular expressions in contrast to basic regular
expressions (BREs).
|
|
e.g. 1060 -> 10^60 if suggested by context
|
|
|
|
|