On Tue, Nov 02, 2021 at 03:23:15AM +0700, Robert Elz wrote:
> Date: Mon, 1 Nov 2021 12:03:48 -0400
> From: Greg Wooledge <[email protected]>
> Message-ID: <YYAP5PynR6Us/FV/@wooledge.org>
>
> | > bash: : command not found
> | > bash: : command not found
> |
> | Because this is you, I can't be sure whether you are correctly pasting
> | the output from your terminal into email,
>
> Actually, because it is him, it is more likely that he has "cat" aliased
> to ' ' somehow, since he loves aliases so much.
>
> kre
>
Looking at their trace output, the thing that causes the error is
'' /dev/fd/63
The /dev/fd/63 bit is probably from a process substitution.
What causes the '' is anyone's guess, and mine is that it's simply a
variable that happens to be unset or empty (possibly due to a mistyping
in its name?)
$ "$my_thnig" <( [[ -s "$pathname" ]] && cat -- "$pathname" )
bash: : command not found
--
Andreas (Kusalananda) Kähäri
SciLifeLab, NBIS, ICM
Uppsala University, Sweden
.
