[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Ensuring that site.exp no longer overrides command line options
|
From: |
Rob Savoye |
|
Subject: |
Re: Ensuring that site.exp no longer overrides command line options |
|
Date: |
Tue, 2 Jun 2020 08:32:47 -0600 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 6/1/20 9:12 PM, Jacob Bachmeyer wrote:
> Obviously, this means that site.exp overriding command line options
> needs to be fixed and that window needs to be closed. I am unsure if
> there are any uses for this "misfeature" and therefore how aggressively
> the command line parameters should be reapplied after loading the local
> init file. Should only srcdir be restored (which should be enough to
Command line options should always override any disk based config file.
- rob -