Search notes:
Bash: while
while [ ... ]; do echo "still in while" done
See also
bash
Index