Changes between Initial Version and Version 1 of Ticket #22626, comment 242


Ignore:
Timestamp:
Nov 16, 2018, 11:24:27 AM (4 years ago)
Author:
Erik Bray
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #22626, comment 242

    initial v1  
    11Yes, I tried it again and calling `SetUserPreference` late, after GAP initialization has already mostly completed, appears to have no effect if I then start loading some packages.  I have to modify `GAPInfo.ExcludeFromAutoload` directly.
     2
     3This would be avoidable if there were a sort of `gap.ini` that can be loaded early on in initialization that I could ''guarantee'' will be run, but unless I'm missing something that does not appear to be quite possible...