Fabian Homborg 720982a3cb string: Quit early if --quiet is satisfied
E.g. if we do `string match -q`, and we find a match, nothing about
the input can change anything, so we quit early.

This is mainly useful for performance, but it also allows `string`
with `-q` to be used with infinite input (e.g. `yes`).

Alternative to #7495.
2020-12-01 18:55:01 +01:00
..
2020-11-22 14:39:48 +01:00
2020-05-30 10:07:21 +02:00
2020-10-12 20:25:35 +02:00
2020-11-22 14:39:48 +01:00
2020-10-04 14:51:05 +02:00