1UPDATE-GAP-WORKSPACE(1)          User Commands         UPDATE-GAP-WORKSPACE(1)
2
3
4

NAME

6       update-gap-workspace - manage a GAP workspace.
7

SYNOPSIS

9       update-gap-workspace
10
11       update-gap-workspace update
12
13              Create or update the GAP workspace.
14
15       update-gap-workspace delete
16
17              Delete the GAP workspace.
18

DESCRIPTION

20       At  start up, GAP load all libraries and packages available on the sys‐
21       tem.  This take several seconds. To save time, GAP can store the result
22       of  this initialisation in a `workspace'.  update-gap-workspace help to
23       manage such workspaces.  update-gap-workspace can be  run  as  root  to
24       manage the system-wide workspace.  update-gap-workspace can be run as a
25       normal   user.   In   this   case   the   workspace   is   stored    in
26       $HOME/gap/workspace.gz.
27
28       Note  that you need to rebuild the workspace each time GAP packages are
29       added, removed or updated. To automate that task,  if  the  system-wide
30       workspace  exists,  it  is automatically updated whenever a GAP-related
31       Debian package is installed or upgraded.
32
33       The gap script will automatically load such workspace at start up.
34

FILES

36       /var/lib/gap/workspace.gz:
37              The system-wide GAP workspace.
38       $HOME/gap/workspace.gz:
39              The user-specific GAP workspace.
40

SEE ALSO

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

AUTHOR

45       Bill Allombert <ballombe@debian.org>
46
47
48
49GAP                                July 2003           UPDATE-GAP-WORKSPACE(1)