Allow to override /etc/dmd.conf by placing alternative to ~/.dmd/dmd.conf or to dmd.conf in same directory dmd executable is

Paul Backus snarwin at gmail.com
Mon Nov 8 18:10:01 UTC 2021


On Monday, 8 November 2021 at 14:10:12 UTC, Petar Kirov 
[ZombineDev] wrote:
> On Monday, 8 November 2021 at 13:55:35 UTC, Alexey wrote:
>> On Monday, 8 November 2021 at 12:42:54 UTC, Alexey wrote:
>>> (subject)
>>>
>>
>> oops. looks like dmd already uses dmd.conf placed next to it.
>
> On Posix systems, `dmd` searches for `dmd.conf` in several 
> places, in this order:
>
> 1. current directory
> 2. `$HOME` directory
> 3. `argv0` directory
> 4. `$SYSCONFDIR` (environment variable set when `dmd` is 
> built), `/etc` by default

Now documented: https://github.com/dlang/dmd/pull/13280


More information about the Digitalmars-d mailing list