Man Linux: Main Page and Category List

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>.