Changes between Initial Version and Version 1 of Ticket #22576, comment 26


Ignore:
Timestamp:
03/12/17 22:24:03 (5 years ago)
Author:
dimpase
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #22576, comment 26

    initial v1  
    44What else can be done? I only see an option of `sage` checking
    55on 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?
     6Can we get away with only triggering it if a new Sage package was installed?
    77(otherwise this looks like a time-consuming check).
     8
     9Docs on how to install GAP packages manually should also
     10indicate the need to run `sage -c "gap_reset_workspace()"` after
     11a GAP package is installed or removed.