diff options
author | Philipp Erhardt <philipp.erhardt@fau.de> | 2017-02-01 17:46:23 +0100 |
---|---|---|
committer | Philipp Erhardt <philipp.erhardt@fau.de> | 2017-02-01 17:46:23 +0100 |
commit | e61903f525a1440c199f7ae40ea2f653ace7b195 (patch) | |
tree | cdf5fb329c5bbe8953f5e8c7832bf46799efd696 | |
parent | 5e99e8b144331d656764883ea81e09b5e3ac0465 (diff) | |
parent | c84d1384613ee8121b00133fa0a4c1b9ebbf233b (diff) |
Merge branch 'master' into 'master'
Mention file for zsh-completion in README
See merge request !1
-rw-r--r-- | README | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -18,3 +18,8 @@ make To build the manpage/homepage type: make doc make web + +Completion +---------- +When using zsh its built-in autocompletion can be used by +copying ./completion/_katarakt to '/usr/share/zsh/functions/Completion/X/' |