Debian GAP Policy - Global GAP workspace

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

# Debian GAP Policy
Chapter 4 - Global GAP workspace

To allow GAP to start faster, Debian provides a global workspace file in `/var/lib/gap/workspace.gz`. This file is managed by `update-gap-workspace`. If this file exists, it will be automatically updated whenever a Debian GAP package is installed or upgraded, through a gap-core dpkg trigger.

[ previous ] [ Contents ] [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ next ]

Debian GAP Policy