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 -
