Manual changes to precompile options in LocalPreferences.jl not recognized

[sloede]

First of all, thanks for adding the ability to selectively enable/disable precompilation, this makes it much nicer on the user for certain work loads 👍

However, one thing I've noticed is that manual changes to LocalPreferences.jl are not picked up. That is, if I have created a LocalPreferences.jl in one project folder A and copy it over to another project folder B, precompilation will not be triggered in B and thus the options are not recognized.

Is this known behavior (or even a feature)? From MPI.jl, I am used to being able to hand-edit the preferences file and then MPI.jl picking up the changes, which makes it much easier to play around with these things. Especially the ability to quickly delete the preferences file to revert to the default behavior would be nice to have.

[ChrisRackauckas]

I didn't know about that. But that sounds like a package issue. The MWE is probably just an issue of LocalPreferences.jl with SnoopPrecompile.jl preferences. We aren't doing anything special here.