Questo è il comando update-gap-workspace che può essere eseguito nel provider di hosting gratuito OnWorks utilizzando una delle nostre molteplici workstation online gratuite come Ubuntu Online, Fedora Online, emulatore online Windows o emulatore online MAC OS
PROGRAMMA:
NOME
update-gap-workspace: gestisci uno spazio di lavoro GAP.
SINOSSI
update-gap-area di lavoro
aggiornamento aggiornamento-gap-workspace
Crea o aggiorna l'area di lavoro GAP.
eliminazione aggiornamento-gap-area di lavoro
Elimina l'area di lavoro GAP.
DESCRIZIONE
All'avvio, GAP carica tutte le librerie e i pacchetti disponibili sul sistema. Questa ripresa
diversi secondi. Per risparmiare tempo, GAP può memorizzare il risultato di questa inizializzazione in un file
"spazio di lavoro". update-gap-area di lavoro aiutare a gestire tali spazi di lavoro. update-gap-area di lavoro
può essere eseguito come root per gestire l'area di lavoro a livello di sistema. update-gap-area di lavoro può essere eseguito
come utente normale. In questo caso lo spazio di lavoro è memorizzato in $HOME/gap/workspace.gz.
Tieni presente che è necessario ricostruire l'area di lavoro ogni volta che i pacchetti GAP vengono aggiunti, rimossi o
aggiornato. Per automatizzare tale attività, se esiste uno spazio di lavoro a livello di sistema, lo viene fatto automaticamente
aggiornato ogni volta che un pacchetto Debian relativo a GAP viene installato o aggiornato.
Lo script gap caricherà automaticamente tale spazio di lavoro all'avvio.
Utilizza update-gap-workspace online utilizzando i servizi onworks.net
