45 lines
1.3 KiB
Groff
45 lines
1.3 KiB
Groff
.TH "UPDATE-GAP-WORKSPACE" "1" "July 2003" "GAP" "User Commands"
|
|
.SH "NAME"
|
|
update-gap-workspace \- manage a GAP workspace.
|
|
.SH "SYNOPSIS"
|
|
\&update-gap-workspace
|
|
.PP
|
|
\&update-gap-workspace update
|
|
.IP
|
|
Create or update the GAP workspace.
|
|
.PP
|
|
\&update-gap-workspace delete
|
|
.IP
|
|
Delete the GAP workspace.
|
|
.SH "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'.
|
|
.I update-gap-workspace
|
|
help to manage such workspaces.
|
|
.I update-gap-workspace
|
|
can be run as root to manage the system-wide workspace.
|
|
.I update-gap-workspace
|
|
can be run as a normal user. In this case the workspace is stored in
|
|
$HOME/gap/workspace.gz.
|
|
.PP
|
|
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.
|
|
.PP
|
|
The gap script will automatically load such workspace at start up.
|
|
.SH "FILES"
|
|
.I /var/lib/gap/workspace.gz:
|
|
.RS
|
|
The system-wide GAP workspace.
|
|
.RE
|
|
.I $HOME/gap/workspace.gz:
|
|
.RS
|
|
The user-specific GAP workspace.
|
|
.SH "SEE ALSO"
|
|
.I gap(1),
|
|
.I The \`SaveWorkspace' function in the GAP manual.
|
|
.SH "AUTHOR"
|
|
Bill Allombert <ballombe@debian.org>
|