linux while shell en boucle
while ! [ "${finished}" ]; do
...
done
DreamCoder
while ! [ "${finished}" ]; do
...
donefinished=false
while ! $finished; do
...
# At some point
finished=true
donewhile [ "$finished" != "true" ]; do
...
done