Speed up zsh target completion

zed0 · zed0 · commit 530d2b16662d · 2015-10-30T14:43:32.000Z
diff --git 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() {

Original file line number	Diff line number	Diff line change
`@@ -23,8 +23,7 @@ __get_targets() {`
`23`	`23`	`eval dir="${opt_args[-C]}"`
`24`	`24`	`fi`
`25`	`25`	`targets_command="ninja -C \"${dir}\" -t targets"`
`26`		`- eval ${targets_command} 2>/dev/null \| while read -r a b; do echo $a \| cut -d ':' -f1; done;`
`27`		`-`
	`26`	`+ eval ${targets_command} 2>/dev/null \| sed "s/^\(.\): .$/\1/"`
`28`	`27`	`}`
`29`	`28`
`30`	`29`	`__get_tools() {`