UPDATE-GAP-WORKSPACE(1)

✨ update-gap-workspace — manage a GAP workspace ✨

okay bestie so this is a User Commands page from the GAP manual, and it's literally all about managing your GAP workspace. no cap, it's short but it's important, let's go 💅

---

🌸 SYNOPSIS 🌸

update-gap-workspace

update-gap-workspace update

update-gap-workspace delete

• update-gap-workspace update — create or update the GAP workspace 🛠️
• update-gap-workspace delete — delete the GAP workspace 💀

---

🦋 DESCRIPTION 🦋

so here's the tea: when GAP starts up, it loads all the libraries and packages available on your system. and like… that takes several seconds. it's giving slow. 😭

to save time, GAP can store the result of that initialisation in a workspace. and update-gap-workspace is the girl that helps you manage those workspaces. periodt.

update-gap-workspace can be run as <strong>root</strong> to manage the <strong>system-wide</strong> workspace. it can also be run as a normal user — in that case the workspace is stored in $HOME/gap/workspace.gz. 🎀

okay important warning bestie: you need to rebuild the workspace each time GAP packages are added, removed or updated. yes really. 🙈

to automate that task, if the system-wide workspace exists, it is automatically updated whenever a GAP-related Debian package is installed or upgraded. iconic behaviour honestly. 👑

and the gap script will automatically load such workspace at start up. so you don't even gotta think about it. ✨

---

🎀 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 <ballombe@debian.org> — ty for your service king 🫡

---

and that's a wrap, bestie!! this page is from the GAP manual, dated July 2003 🌈 — go forth and manage those workspaces, you absolute main character 💅✨