Как бы вы представляли EOF в bash?

Чтобы узнать, что такое управляющий bash-function символ, запустите

$ cat | od -b
^D
0000000 004 012
0000002

Я набрал bash ^ V ^ D после ввода команды, а bash-function затем RET и еще один ^ D ( без bash-script кавычек), и в результате .bashrc EOF имеет восьмеричное число bash 004.

Объединение этого результата .bash-profile с read(1):

$ read -d "$(echo -e '\004')" stdin
foo
bar quuz^Hx
^D
$ echo "$stdin"
foo
bar quux
$ for word in $stdin; do echo $word; done
foo
bar
quux

Да, я набрал ^ H выше для .bash-profile возврата, чтобы проверить, правильно .bash-profile ли сделал read(1). Это так.