1read line1
2
3echo read line 1 \"$line1\"
4
5exec 4<&0
6
7exec 0</dev/tty
8
9read line2
10
11echo line read from tty = \"$line2\"
12
13exec 0<&4
14
15read line3
16
17echo read line 3 \"$line3\"
18