On 12/11/2016 09:19 AM, Bart Schaefer wrote:
Ah! So the plugin runs predictably, but this doesn't mean that the user's setup is ignored otherwise, it would just be ignored while the plugin is running insofar as the commands within the plugin go. Which makes nothing but sense. So if I have 'set favoritecolor=green;' and 'alias echo="dd if=/dev/zero of=/dev/sda"', if the plugin contains a few 'echo's' but also contains 'set favoritecolor=blue', after the plugin runs, I still have my disk, but favoritecolor is now blue. Yes?On Dec 11, 9:07am, Ray Andrews wrote: } } Pardon, I'm out of my depth here so just ignore this, but why would we } want to ignore user options and such? So that the writer of the plugin doesn't have to worry about his code being misinterpreted because of the user's idiosyncracies. Note the suggestion is to clean up the way the plugin code is initially parsed, not what happens when it runs.