[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#32073: Improvements in Grep (Bug#32073)
From: |
arnold |
Subject: |
bug#32073: Improvements in Grep (Bug#32073) |
Date: |
Thu, 02 Jan 2020 08:36:39 -0700 |
User-agent: |
Heirloom mailx 12.5 7/5/10 |
OK, thanks for the input.
Arnold
Sergiu Hlihor <address@hidden> wrote:
> Hi Arnold,
> Annoying in the sense that you have to specify it with every usage. In a
> company where you have 10+ developers grepping over various logs, each one
> has to remember to add the extra parameter. Easier would be to have some
> kind of global configuration that the system admin can set and developers
> forget about it. But as I said, large default is very likely enough.
>
>
>
> On Thu, 2 Jan 2020 at 08:20, <address@hidden> wrote:
>
> > Hi.
> >
> > Sergiu Hlihor <address@hidden> wrote:
> >
> > > Hi Arnold,
> > > If AWKBUFSIZE translates to disk IO request size then it is already what
> > > its needed. However it's a little annoying.
> >
> > How would you make it less annoying?
> >
> > Thanks,
> >
> > Arnold
> >
- bug#32073: Improvements in Grep (Bug#32073), Paul Eggert, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Sergiu Hlihor, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), arnold, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Sergiu Hlihor, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), arnold, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Sergiu Hlihor, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), arnold, 2020/01/02
- bug#32073: Improvements in Grep (Bug#32073), Sergiu Hlihor, 2020/01/02
- bug#32073: Improvements in Grep (Bug#32073),
arnold <=
bug#32073: Improvements in Grep (Bug#32073), Paul Jackson, 2020/01/01
bug#32073: Improvements in Grep (Bug#32073), Paul Eggert, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Sergiu Hlihor, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Paul Eggert, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Paul Jackson, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Jim Meyering, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Sergiu Hlihor, 2020/01/01
- bug#32073: Improvements in Grep (Bug#32073), Jim Meyering, 2020/01/01