Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > gnu.bash.bug > #14216

Re: cat<(echo text) not same as cat <(echo text)

Show all headers | View raw

On Mon, Jun 4, 2018 at 11:48 AM, Edward Huff <ejhuff@gmail.com> wrote:

> That is unexpected.
>

I agree it may look "unexpected" because "cat<file" is the same as "cat
<file". But for "cat<file", '<' is part of input/output redirection but '<'
in "cat<(echo text)" is not. Instead, "<(echo text)" is *process substition*
.

According to bash manual: "On systems that can support it, there is an
additional expansion available: *process substitution*. *This is performed
at the same time as tilde, parameter, variable, and arithmetic expansion
and command substitution.*"

-clark

Back to gnu.bash.bug | Previous | Next | Find similar | Unroll thread

Thread

Re: cat<(echo text) not same as cat <(echo text) Clark Wang <dearvoid@gmail.com> - 2018-06-04 16:40 +0800

csiph-web