Re: git: 281830982455 - main - security/rosenpass: install manual pages

On Wed, Sep 13, 2023 at 12:07:12AM +0200, Ashish SHUKLA wrote:
> On 2023-09-12 13:53, Alexey Dokuchaev wrote:
> > On Tue, Sep 12, 2023 at 01:27:36PM +0200, Ashish SHUKLA wrote:
> > > On 2023-09-11 19:11, Robert Clausecker wrote:
> > > > Hi Ashish,
> > > >
> > > > Once again, this one already exists as net/rosenpass.
> > > > Please remove the duplicate port.
> > > 
> > > Sorry, I'll remove it shortly :(
> > > 
> > > I checked my ports tree's INDEX-13 file, and bugzilla after updating
> > > the
> > 
> > INDEX files are quite useless these days (if they ever were), you'd far
> > better off with grep -i ... /usr/ports/*/Makefile and /usr/ports/MOVED.
> > The last one would help with restoring previously deleted ports, but as
> > we started to trim old MOVED entries (big mistake) one should also check
> > freshports.org which diligently preserves ports history since its dawn.
> 
> Aah, I see. I was using INDEX file to avoid `make search ...` which is very
> slow on HDDs, but this is much better/optimal.

And git grep is even faster than grep itself.

-- 
Mathieu Arnold