diff options
| author | Daniel Hahler <git@thequod.de> | 2012-12-17 12:22:33 +0100 |
|---|---|---|
| committer | Daniel Hahler <git@thequod.de> | 2014-03-13 17:48:58 +0100 |
| commit | 71d94206370c258383beddfa6d3122524c26d8e8 (patch) | |
| tree | 915a055f841483ad6a36ce5af3e3b33fac33dfbc /lib/directories.zsh | |
| parent | de78e47d27e758ab5dc418a2e546725da07d1ea3 (diff) | |
| download | zsh-71d94206370c258383beddfa6d3122524c26d8e8.tar.gz zsh-71d94206370c258383beddfa6d3122524c26d8e8.tar.bz2 zsh-71d94206370c258383beddfa6d3122524c26d8e8.zip | |
Use zsh's default for ':completion:*:hosts'
The manual configuration of ':completion:*:hosts' causes some problems
(e.g. issue #1337), and misses useful information (especially from
~/.ssh/known_hosts; issue #690 and issue #1009).
The best option appears to be using zsh's default configuration for
':completion:*:hosts'.
While rebasing this for a new pull request (#1498 got closed by accident
and then requests to re-open it got ignored), it also drops the `users
off` setting: completion of user names can be useful, and the commit
adding it (c4434d2) does not state why.
Diffstat (limited to 'lib/directories.zsh')
0 files changed, 0 insertions, 0 deletions