Bash : While loop example