shell script while loop read file