Changes between Initial Version and Version 1 of Ticket #22626, comment 242
- Timestamp:
- 11/16/18 11:24:27 (4 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #22626, comment 242
initial v1 1 1 Yes, 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 3 This 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...