Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > gnu.bash.bug > #14216 > unrolled thread
| Started by | Clark Wang <dearvoid@gmail.com> |
|---|---|
| First post | 2018-06-04 16:40 +0800 |
| Last post | 2018-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.
Re: cat<(echo text) not same as cat <(echo text) Clark Wang <dearvoid@gmail.com> - 2018-06-04 16:40 +0800
| From | Clark Wang <dearvoid@gmail.com> |
|---|---|
| Date | 2018-06-04 16:40 +0800 |
| Subject | Re: 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
Back to top | Article view | gnu.bash.bug
csiph-web