SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

MAN page from Fedora 23 gap-core-4.7.8-2.fc23.x86_64.rpm

UPDATE-GAP-WORKSPACE

Section: User Commands (1)
Updated: July 2003
Index 

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 ofthis initialisation in a `workspace'.update-gap-workspacehelp to manage such workspaces.update-gap-workspacecan be run as root to manage the system-wide workspace.update-gap-workspacecan 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. 

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


 

Index

NAME
SYNOPSIS
DESCRIPTION
FILES
SEE ALSO
AUTHOR

This document was created byman2html,using the manual pages.