On Sun, Jan 29, 2023 at 11:23:58AM +0100, Omar Polo wrote: Hello Omar,
>> Please find attached a port for try_repeat 0.2.0 > ok op@ to import > > I'd shorten the COMMENT down to "run a command multiple times" leaving the > task of describing the early exit to the DESCR, but it's just a matter of > preference, it's probably already fine as-is. I have a minor preference for keeping the early exit aspect in, because that's different to, for example, the default behaviour of zsh's `repeat` -- but I don't feel strongly about it! Laurie
