Changes between Initial Version and Version 1 of Ticket #18774, comment 18
- Timestamp:
- 06/25/15 08:43:52 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #18774, comment 18
initial v1 5 5 > Then, there is stuff in `$SAGE_LOCAL/gap` 6 6 7 Yeah, I just figured this out offline. The thing is that you are not supposed to have writing access to SAGE_LOCAL/gap, so that's not precisely where cached information should be stored. It should be done in `~/.sage/gap`7 Yeah, I just figured this out offline. The thing is that you are not supposed to have writing access to SAGE_LOCAL/gap, so no information should be cached there. It should be done in `~/.sage/gap` 8 8 9 9 Anyway, this requires internet indeed.