Um usuário de sistema operacional Linux deseja executar um script chamado script.sh, de modo que o conteúdo do arquivo data seja utilizado como entrada padrão (stdin) do script.

Para tal, ele deverá digitar no terminal: