diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2019-03-15 22:29:55 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2019-03-15 22:29:55 +0100 |
| commit | 7e2ff6435cd1a5a504eab34823a4f63c7a46df1f (patch) | |
| tree | 042c0c23ecf01cf7e25713fbd070bea0f8c63d5b /ssh: | |
| parent | 92f8b625b5bdde6f87a99c4415ee218496fec343 (diff) | |
| download | openrussian-cli-7e2ff6435cd1a5a504eab34823a4f63c7a46df1f.tar.gz | |
added Makefile and simple Bash completions
* this allows precompiling openrussian.lua,
automatically downloads, converts and VACUUMs the openrussian
database and provides an `install` target
* Bash completions allow completing "bare" Russian words for the
time being.
Unfortunately we cannot complete with accents, since Bash completions
do not allow to change the already typed word (apparently) and users
aren't going to type in accents.
Diffstat (limited to 'ssh:')
0 files changed, 0 insertions, 0 deletions