simple bash while loop