Project

General

Profile

1 9533 aaronmk
#!/bin/bash -e
2
. "$(dirname "${BASH_SOURCE[0]}")"/util.sh
3
4
if self_not_included; then
5
6
function binsearch() # usage: min=# max=# binsearch >_cmd args... (uses $i)
7 9560 aaronmk
# because integer division truncates, $max is *exclusive*
8 9533 aaronmk
{
9
	echo_func; kw_params min max; : "${min?}" "${max?}"
10
	local min="$min" max="$max" i
11
	while true; do
12 9562 aaronmk
		log+ -2 echo_vars
13
14
		i=$(( (min + max)/2 ))
15
		log+ -2 echo_vars min max i
16 9533 aaronmk
		if ! (( i > min )); then break; fi
17 9562 aaronmk
		if echo_run "$@"; then min="$i"; else max="$i"; fi
18 9533 aaronmk
	done
19
	echo "$i"
20
}
21
alias binsearch='"binsearch" ' # last space alias-expands next word
22
23
fi