Re: Another potential awk or xargs bug?

2021-04-16 Thread Otto Moerbeek
On Fri, Apr 16, 2021 at 02:26:27AM -0700, Jordan Geoghegan wrote: > > > On 4/15/21 7:49 AM, Otto Moerbeek wrote: > > On Thu, Apr 15, 2021 at 04:29:17PM +0200, Christian Weisgerber wrote: > > > >> Jordan Geoghegan: > >> > >>> --- /tmp/bad.txt  Wed Apr 14 21:06:51 2021 > >>> +++ /tmp/good.txt 

Re: Another potential awk or xargs bug?

2021-04-16 Thread Jordan Geoghegan
On 4/15/21 7:49 AM, Otto Moerbeek wrote: > On Thu, Apr 15, 2021 at 04:29:17PM +0200, Christian Weisgerber wrote: > >> Jordan Geoghegan: >> >>> --- /tmp/bad.txt  Wed Apr 14 21:06:51 2021 >>> +++ /tmp/good.txt  Wed Apr 14 21:06:41 2021 >> I'll note that no characters have been lost between the

Re: Another potential awk or xargs bug?

2021-04-15 Thread Otto Moerbeek
On Thu, Apr 15, 2021 at 04:29:17PM +0200, Christian Weisgerber wrote: > Jordan Geoghegan: > > > --- /tmp/bad.txt  Wed Apr 14 21:06:51 2021 > > +++ /tmp/good.txt  Wed Apr 14 21:06:41 2021 > > I'll note that no characters have been lost between the two files. > Only the order is different. > > >

Re: Another potential awk or xargs bug?

2021-04-15 Thread Christian Weisgerber
Jordan Geoghegan: > --- /tmp/bad.txt  Wed Apr 14 21:06:51 2021 > +++ /tmp/good.txt  Wed Apr 14 21:06:41 2021 I'll note that no characters have been lost between the two files. Only the order is different. > The only thing that changed between these runs was me using either xargs -P 1 > or -P

Another potential awk or xargs bug?

2021-04-15 Thread Jordan Geoghegan
Hello, I've found some very interesting behaviour when subjecting various awk implementations to some very specific circumstances. I'm basically looking for a sanity check here to confirm if I'm just wildly flailing, or if I am indeed onto something here. Here's my situation: When parsing