Speed up zsh target completion

diff --git a/misc/zsh-completion b/misc/zsh-completion
index fd9b3a7..ad7b87f 100644 (file)
--- 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() {