Il s'agit de la commande update-gap-workspace qui peut être exécutée dans le fournisseur d'hébergement gratuit OnWorks en utilisant l'un de nos multiples postes de travail en ligne gratuits tels que Ubuntu Online, Fedora Online, l'émulateur en ligne Windows ou l'émulateur en ligne MAC OS
PROGRAMME:
Nom
update-gap-workspace - gère un espace de travail GAP.
SYNOPSIS
mise à jour de l'espace de travail
mise à jour de l'écart de mise à jour de l'espace de travail
Créez ou mettez à jour l'espace de travail GAP.
suppression de l'espace de travail de mise à jour
Supprimez l'espace de travail GAP.
DESCRIPTION
Au démarrage, GAP charge toutes les bibliothèques et packages disponibles sur le système. Cette prise
plusieurs secondes. Pour gagner du temps, GAP peut stocker le résultat de cette initialisation dans un
« espace de travail ». mise à jour de l'espace de travail aider à gérer ces espaces de travail. mise à jour de l'espace de travail
peut être exécuté en tant que root pour gérer l'espace de travail à l'échelle du système. mise à jour de l'espace de travail peut être exécuté
en tant qu'utilisateur normal. Dans ce cas, l'espace de travail est stocké dans $HOME/gap/workspace.gz.
Notez que vous devez reconstruire l'espace de travail à chaque fois que des packages GAP sont ajoutés, supprimés ou
mis à jour. Pour automatiser cette tâche, si l'espace de travail à l'échelle du système existe, il est automatiquement
mis à jour chaque fois qu'un paquet Debian lié à GAP est installé ou mis à niveau.
Le script d'espacement chargera automatiquement cet espace de travail au démarrage.
Utilisez update-gap-workspace en ligne à l'aide des services onworks.net
