Provided by: gap-core_4.11.1-1_amd64 bug

NAME

       update-gap-workspace - manage a GAP workspace.

SYNOPSIS

       update-gap-workspace

       update-gap-workspace update

              Create or update the GAP workspace.

       update-gap-workspace delete

              Delete the GAP workspace.

DESCRIPTION

       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  of  this  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 are added, removed or
       updated. To automate that task, if the system-wide workspace exists, it  is  automatically
       updated whenever a GAP-related Debian package is installed or upgraded.

       The gap script will automatically load such workspace at start up.

FILES

       /var/lib/gap/workspace.gz:
              The system-wide GAP workspace.
       $HOME/gap/workspace.gz:
              The user-specific GAP workspace.

SEE ALSO

       gap(1), The `SaveWorkspace' function in the GAP manual.

AUTHOR

       Bill Allombert <ballombe@debian.org>

NOTES

       We  are  considering  enabling  the system-wide workspace per default, though this feature
       could be too confusing for old-time GAP users. If you have opinions about it, please  mail
       <gap@packages.debian.org>.