**Jons Mostovojs** @jonn@social.doma.dev · Oct 13, 2024, 15:58

**Jons Mostovojs** @jonn@social.doma.dev · Oct 13, 2024, 15:58

Jons Mostovojs @jonn@social.doma.dev

nvim -V9mynvim.log

**petrisch** @petrisch@librem.one · Oct 13, 2024, 16:19

**petrisch** @petrisch@librem.one · Oct 13, 2024, 16:19

petrisch @petrisch@librem.one

@jonn I guess there should be a space between 9 and m right?

**Jons Mostovojs** @jonn@social.doma.dev · Oct 13, 2024, 16:24

**Jons Mostovojs** @jonn@social.doma.dev · Oct 13, 2024, 16:24

Jons Mostovojs @jonn@social.doma.dev

@petrisch nah, it works like this. :D

**petrisch** @petrisch@librem.one · Oct 13, 2024, 16:27

**petrisch** @petrisch@librem.one · Oct 13, 2024, 16:27

petrisch @petrisch@librem.one

@jonn oh really? Interesting..

**Jons Mostovojs** @jonn@social.doma.dev · Oct 13, 2024, 16:30

**Jons Mostovojs** @jonn@social.doma.dev · Oct 13, 2024, 16:30

Jons Mostovojs @jonn@social.doma.dev

@petrisch I prefer such parsing style. Imagine writing `rsync -P -a -v -e ...` versus `rsync -Pave ...`.

**petrisch** @petrisch@librem.one · Oct 13, 2024, 17:28

**petrisch** @petrisch@librem.one · Oct 13, 2024, 17:28

petrisch @petrisch@librem.one

@jonn sure but isn't mynvim.log the filename?

**Jons Mostovojs** @jonn@social.doma.dev · 2024-10-13T18:47:41Z

Jons Mostovojs @jonn@social.doma.dev

@petrisch it is! And 9 is the argument to verbose key. Some old-school #UNIX tools would not tokenise their parses and just go left to right.

One can easily imagine a parser that doesn't tokenise!

Combinatorially:

```
(string "-V" <> many (string " ") <> number <> many (string " ")) *> filename
```

Oct 13, 2024, 18:47 · Web · · ·