Skip site navigation (1)Skip section navigation (2)
Date:      Wed, 13 Sep 2023 00:07:12 +0200
From:      Ashish SHUKLA <ashish@FreeBSD.org>
To:        Alexey Dokuchaev <danfe@freebsd.org>
Cc:        Robert Clausecker <fuz@fuz.su>, ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org
Subject:   Re: git: 281830982455 - main - security/rosenpass: install manual pages
Message-ID:  <eeeb14e0f50c4bb064f62e49312ed0b8@FreeBSD.org>
In-Reply-To: <ZQBRKvGnqGb90xSH@FreeBSD.org>
References:  <202309111434.38BEY9X2057613@gitrepo.freebsd.org> <ZP9KLtwl_jJm4zz4@fuz.su> <7fa2f81307fb991433bcd55f46a83f4c@FreeBSD.org> <ZQBRKvGnqGb90xSH@FreeBSD.org>

next in thread | previous in thread | raw e-mail | index | archive | help
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.

Thank you!
-- 
Ashish SHUKLA | GPG: F682 CDCC 39DC 0FEA E116  20B6 C746 CFA9 E74F A4B0



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?eeeb14e0f50c4bb064f62e49312ed0b8>