On Sat, Oct 27, 2018 at 08:53:55PM -0400, Mark Anderson wrote:
I got this:
github PortGroup: Error: ${worksrcpath} does not exist after extracting
distfiles. This might indicate that the author or project is different than
set in the Portfile due to a rename at GitHub. Please examine the
I got this:
github PortGroup: Error: ${worksrcpath} does not exist after extracting
distfiles. This might indicate that the author or project is different than
set in the Portfile due to a rename at GitHub. Please examine the extracted
directory in
On Oct 27, 2018, at 16:09, Mark Anderson wrote:
> So, I'm trying to update the Io Language port, and I get a worksrcdir of:
> IoLanguage-io-b8a18fc
>
> Is there a good way to figure that name out programatically, or change it? Or
> am I just stuck with it?
The github portgroup, which I see
So, I'm trying to update the Io Language port, and I get a worksrcdir of:
IoLanguage-io-b8a18fc
Is there a good way to figure that name out programatically, or change it?
Or am I just stuck with it?
—Mark
___
Mark E. Anderson