MAN page from Fedora 23 gap-core-4.7.8-2.fc23.x86_64.rpm
Section: User Commands (1)
Updated: July 2003Index
update-gap-workspace - manage a GAP workspace.
- Create or update the GAP workspace.
- Delete the GAP workspace.
At start up, GAP load all libraries and packages available on the system.This take several seconds. To save time, GAP can store the result ofthis initialisation in a `workspace'.update-gap-workspace
help to manage such workspaces.update-gap-workspace
can be run as root to manage the system-wide workspace.update-gap-workspace
can be run as a normal user. In this case the workspace is stored in$HOME/gap/workspace.gz.
Note that you need to rebuild the workspace each time GAP packages areadded, removed or updated. To automate that task, if the system-wideworkspace exists, it is automatically updated whenever a GAP-relatedDebian package is installed or upgraded.
The gap script will automatically load such workspace at start up.
- The system-wide GAP workspace.
- The user-specific GAP workspace.
SEE ALSOgap(1),The `SaveWorkspace' function in the GAP manual.
Bill Allombert <ballombeAATTdebian.org>
- SEE ALSO
This document was created byman2html,using the manual pages.