Dies ist der Befehl update-gap-workspace, der im kostenlosen Hosting-Anbieter OnWorks mit einer unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows Online-Emulator oder MAC OS Online-Emulator ausgeführt werden kann.
PROGRAMM:
NAME/FUNKTION
update-gap-workspace – Verwalten eines GAP-Arbeitsbereichs.
ZUSAMMENFASSUNG
Update-Gap-Arbeitsbereich
Update-Gap-Workspace-Update
Erstellen oder aktualisieren Sie den GAP-Arbeitsbereich.
Update-Gap-Workspace löschen
Löschen Sie den GAP-Arbeitsbereich.
BESCHREIBUNG
Beim Start lädt GAP alle im System verfügbaren Bibliotheken und Pakete. Dies dauert
mehrere Sekunden. Um Zeit zu sparen, kann GAP das Ergebnis dieser Initialisierung in einem
„Arbeitsbereich“. Update-Gap-Arbeitsbereich helfen, solche Arbeitsbereiche zu verwalten. Update-Gap-Arbeitsbereich
kann als Root ausgeführt werden, um den systemweiten Arbeitsbereich zu verwalten. Update-Gap-Arbeitsbereich kann laufen
als normaler Benutzer. In diesem Fall wird der Arbeitsbereich in $HOME/gap/workspace.gz gespeichert.
Beachten Sie, dass Sie den Arbeitsbereich jedes Mal neu erstellen müssen, wenn GAP-Pakete hinzugefügt, entfernt oder
aktualisiert. Um diese Aufgabe zu automatisieren, wird der systemweite Arbeitsbereich, sofern vorhanden, automatisch
wird aktualisiert, wenn ein GAP-bezogenes Debian-Paket installiert oder aktualisiert wird.
Das Gap-Skript lädt diesen Arbeitsbereich beim Start automatisch.
Verwenden Sie update-gap-workspace online mit den Diensten von onworks.net
