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


Groups > gnu.bash.bug > #14216 > unrolled thread

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

Started byClark Wang <dearvoid@gmail.com>
First post2018-06-04 16:40 +0800
Last post2018-06-04 16:40 +0800
Articles 1 — 1 participant

Back to article view | Back to gnu.bash.bug

This discussion starts older than the indexed window; earlier articles aren't shown. The article labeled Started by below is the oldest one visible, not the original post.


Contents

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

#14216 — Re: cat<(echo text) not same as cat <(echo text)

FromClark Wang <dearvoid@gmail.com>
Date2018-06-04 16:40 +0800
SubjectRe: cat<(echo text) not same as cat <(echo text)
Message-ID<mailman.1094.1528101658.1292.bug-bash@gnu.org>
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

[toc] | [standalone]


Back to top | Article view | gnu.bash.bug


csiph-web