On 2020-11-17 20:23, Ryan Schmidt wrote:
On Nov 17, 2020, at 20:04, Jim DeLaHunt wrote:
Hi, folks:
In doing my daily `sudo port selfupdate` on 16 November UTC, I encountered a
warning which is new to me:
"Warning: No port […portname…] found in index"
In redoing `sudo port selfupdate`,
On Nov 17, 2020, at 20:04, Jim DeLaHunt wrote:
> Hi, folks:
>
> In doing my daily `sudo port selfupdate` on 16 November UTC, I encountered a
> warning which is new to me:
>
> "Warning: No port […portname…] found in index"
>
> In redoing `sudo port selfupdate`, this warning did not reoccur.
> On 2020-11-17, at 21:04, Jim DeLaHunt wrote:
>
> Hi, folks:
>
> In doing my daily `sudo port selfupdate` on 16 November UTC, I encountered a
> warning which is new to me:
>
> "Warning: No port […portname…] found in index"
Seems like a race condition where your index was blank at the time
Hi, folks:
In doing my daily `sudo port selfupdate` on 16 November UTC, I
encountered a warning which is new to me:
"Warning: No port […portname…] found in index"
In redoing `sudo port selfupdate`, this warning did not reoccur.
What is the significance of this warning? What, if anything,
