bash: while loop examples