On Wed, Feb 24, 2021 at 12:08:50PM -0500, Chet Ramey wrote:
> On 2/23/21 7:31 PM, Mike Jonkmans wrote:
> > On Tue, Feb 23, 2021 at 04:33:44PM -0500, Chet Ramey wrote:
> > > On 2/22/21 8:11 AM, Mike Jonkmans wrote:
> > > >
> > > > Hi,
> > > >
> > > > It seems some things are missing in the bash ma
Bash Version: 5.1
Patch Level: 4
Release Status: release
Git Commit: f3a35a2d (current master)
I don't really know the contribution rules for bash; my apologies in
advance if I'm missing anything or otherwise doing something wrong.
Description:
`history -d -#` can sometimes fail with the erro
On 2021-02-25 at 16:13 +0100, Mike Jonkmans wrote:
> > Readers are likely to be familiar with simple commands and
> > pipelines, especially the ones who primarily use interactive
> > shells. I disagree that the average reader is likely to be familiar
> > with grammars.
>
> Aren't grammars taught a
On 2/25/21 10:13 AM, Mike Jonkmans wrote:
Readers are likely to be familiar with simple commands and pipelines,
especially the ones who primarily use interactive shells. I disagree that
the average reader is likely to be familiar with grammars.
Aren't grammars taught already in primary school?
On Thu, Feb 25, 2021 at 11:15:36PM +0100, Ángel wrote:
> On 2021-02-25 at 16:13 +0100, Mike Jonkmans wrote:
> >
> > Aren't grammars taught already in primary school? It is in the
> > Netherlands.
> > But i agree that it is a good thing to let the text not depend on
> > that.
>
> I really doubt so
On 2021-02-26 at 00:45 +0100, Mike Jonkmans wrote:
> On Thu, Feb 25, 2021 at 11:15:36PM +0100, Ángel wrote:
> > I really doubt so. I expect they would teach Dutch¹ grammar, but that's
> > quite different than formal grammars such as those of yacc.
> > Maybe you might use that in the teaching of a c
