Sunday, January 04, 2026

Re: devel/cabal: add port update tools

Kirill A. Korinsky <kirill@korins.ky> writes:

>> create mode 100755 devel/cabal/tools/update-all-cabal-ports.sh
>> create mode 100755 devel/cabal/tools/update-cabal-port.pl
>>
>
> Maybe I had missed something but why you haven't put it into
> infrastructure/bin like it has for MODGO for example?

Good call. I pushed an update to my git repo, does anybody want
a copy of largely the same code resent here?

https://github.com/blackgnezdo/ports/commit/4dfd1a2555ed9c2bb8effcb3a18d9dd02a291211

Thanks
Greg

No comments:

Post a Comment