On Sunday, 7 May 2023 at 16:23:31 UTC, kinke wrote:
On Sunday, 7 May 2023 at 13:41:43 UTC, WebFreak001 wrote:
I have multiple GDCs installed through apt, how do I make gdmd
pick the higher one (`gdc-12`) and not just `gdc`?
With e.g. `ln -s gdmd /usr/bin/gdmd-12`, and then using
`gdmd-12`. As
On Sunday, 7 May 2023 at 13:41:43 UTC, WebFreak001 wrote:
I have multiple GDCs installed through apt, how do I make gdmd
pick the higher one (`gdc-12`) and not just `gdc`?
With e.g. `ln -s gdmd /usr/bin/gdmd-12`, and then using
`gdmd-12`. As shown by the few linked lines in the Perl script,
t
On Thursday, 4 May 2023 at 14:58:48 UTC, Iain Buclaw wrote:
On Thursday, 4 May 2023 at 13:05:07 UTC, WebFreak001 wrote:
In GitHub Actions I installed `sudo apt install gdc-12` now
inside Ubuntu 22.04, however `gdc` still seemed to be a small
extra package that's symlinking gdc to gdc-11.
Now
On Thursday, 4 May 2023 at 13:05:07 UTC, WebFreak001 wrote:
In GitHub Actions I installed `sudo apt install gdc-12` now
inside Ubuntu 22.04, however `gdc` still seemed to be a small
extra package that's symlinking gdc to gdc-11.
Now gdmd is picking up GDC 11 instead of GDC 12, causing issues
