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