Changes between Initial Version and Version 1 of Ticket #22576, comment 26
- Timestamp:
- 03/12/17 22:24:03 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #22576, comment 26
initial v1 4 4 What else can be done? I only see an option of `sage` checking 5 5 on startup whether `sage -c "gap_reset_workspace()"` must be run. 6 Can we get away with only triggering it if a new package was installed?6 Can we get away with only triggering it if a new Sage package was installed? 7 7 (otherwise this looks like a time-consuming check). 8 9 Docs on how to install GAP packages manually should also 10 indicate the need to run `sage -c "gap_reset_workspace()"` after 11 a GAP package is installed or removed.