WorkSrcDir Question

[Ryan Schmidt]

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 the io port already uses, takes care of that for you. It renames the directory to something more predictable.