|
From: | Jacob Bachmeyer |
Subject: | Ensuring that site.exp no longer overrides command line options |
Date: | Mon, 01 Jun 2020 22:12:28 -0500 |
User-agent: | Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0 |
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 fix bug#41647)? Should everything set as a result of that parse be stored away and restored after loading site.exp? Should only the options that will be reset at the second parse be restored? Something else?
-- Jacob
[Prev in Thread] | Current Thread | [Next in Thread] |