how to specify input from stdin in bash code example

Example: bash for stdin

while read line ; do  echo "$line" ; done < "${1:-/dev/stdin}"