diff options
author | Nico Weber <nicolasweber@gmx.de> | 2015-11-12 05:46:19 (GMT) |
---|---|---|
committer | Nico Weber <nicolasweber@gmx.de> | 2015-11-12 05:46:19 (GMT) |
commit | dda86b75405a0eba1622af20da907daf96381698 (patch) | |
tree | 4c51e5ffa2fda96077c0b874ebbfe50a6666dd55 | |
parent | 4ffe56d387dce2bc5126fc4079ad2f2b31fba30e (diff) | |
parent | 530d2b16662de786f10243b96f6e3596e90b357a (diff) | |
download | Ninja-dda86b75405a0eba1622af20da907daf96381698.zip Ninja-dda86b75405a0eba1622af20da907daf96381698.tar.gz Ninja-dda86b75405a0eba1622af20da907daf96381698.tar.bz2 |
Merge pull request #1046 from zed0/master
Speed up zsh target completion
-rw-r--r-- | misc/zsh-completion | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/misc/zsh-completion b/misc/zsh-completion index fd9b3a7..ad7b87f 100644 --- a/misc/zsh-completion +++ b/misc/zsh-completion @@ -23,8 +23,7 @@ __get_targets() { eval dir="${opt_args[-C]}" fi targets_command="ninja -C \"${dir}\" -t targets" - eval ${targets_command} 2>/dev/null | while read -r a b; do echo $a | cut -d ':' -f1; done; - + eval ${targets_command} 2>/dev/null | sed "s/^\(.*\): .*$/\1/" } __get_tools() { |