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 <g...@wooledge.org> > 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 .