Extension
GNOME Shell Extension Manager
What is it?
The GNOME Shell Extension Manager is a tool for managing GNOME Shell extensions on Linux desktops. GNOME Shell extensions are small add-ons that customize the behavior and appearance of your GNOME desktop, allowing you to tweak panels, menus, notifications, window behavior, and much more.
The Extension Manager simplifies:
- Finding and installing new extensions
- Enabling or disabling installed extensions
- Updating extensions
- Removing extensions safely
Without an extension manager, users would have to manually download, move, and configure extension files, which is confusing and error-prone for beginners.
In short, the Extension Manager lets you enhance your GNOME desktop safely and efficiently, making your desktop more productive and personalized.
How to Install
On Ubuntu-based systems like CodeCampus OS, installing the Extension Manager is straightforward. Open a terminal and type:
Once installed, you can launch it from the applications menu by searching for “Extension Manager”.
Optional: Make sure the browser integration is installed if you want to install extensions directly from the web:
This allows you to use your web browser to browse GNOME extensions and install them directly into GNOME Shell.
Features
The GNOME Shell Extension Manager provides several important features:
-
Browse and Install Extensions
-
You can search for new extensions from a curated list on extensions.gnome.org.
-
Example extensions available in CodeCampus OS:
add-to-desktop@tommimon.github.com– Quickly add apps or files to the desktoparcmenu@arcmenu.com– A customizable start menu for GNOMEcaffeine@patapon.info– Prevent your screen from locking or going to sleepclipboard-indicator@tudmotu.com– Manage clipboard history and paste items easilydash-to-panel@jderose9.github.com– Combines the top bar and dash into a single taskbarscreenshot-window-sizer@gnome-shell-extensions.gcampax.github.com– Customize screenshot sizestiling-assistant@ubuntu.com– Advanced window tiling and snappingVitals@CoreCoding.com– Monitor CPU, RAM, and system resources in real timeblur-my-shell@aunetx– Adds blur effects to GNOME panels and windowstactile@lundal.io– Enhances touch gestures for trackpads and touchscreens
-
Enable/Disable Extensions
-
Easily turn extensions on or off without removing them.
-
Useful for testing, troubleshooting, or temporarily disabling features.
-
Update Extensions
-
Check for updates to keep extensions compatible with your GNOME version.
-
Remove Extensions
-
Uninstall extensions safely without leaving residual files or causing GNOME errors.
-
Extension Configuration
-
Some extensions have additional settings (like adjusting panel size, transparency, or hotkeys).
- The manager provides a simple interface to configure these options without editing files manually.
How Students Will Use It
-
Enhance Productivity
-
Add
dash-to-panelto get a Windows-style taskbar. -
Use
tiling-assistantfor automatic window arrangement while coding. -
Improve Workflow
-
clipboard-indicatormakes copying and pasting multiple items faster. -
caffeineprevents interruptions when running long scripts or compiling code. -
Customize Appearance
-
Extensions like
blur-my-shellorVitalslet students personalize their desktop while keeping useful information visible. -
Experiment Safely
-
Students can try extensions one by one, enabling/disabling them, learning how GNOME behaves with each change.