GDMD picking up wrong GDC

kinke noone at nowhere.com
Sun May 7 16:23:31 UTC 2023


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, 
the gdmd script invoked as `[prefix-][g]dmd[-suffix]` invokes a 
`[prefix-]gdc[-suffix]` in the same directory.


More information about the D.gnu mailing list