

Installing a Gnome Desktop Extension in Ubuntu
source link: https://mikesmithers.wordpress.com/2023/11/08/installing-a-gnome-desktop-extension-in-ubuntu/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.

Installing a Gnome Desktop Extension in Ubuntu
To distract myself from England’s ongoing woes at the Cricket World Cup, I’ve been playing the simple-yet-addictive London Tube Map Memory Game .
Having not taken the tube for a few years now, it’s proving something of a challenge.
It doesn’t help that they’ve added quite a few stations recently.
Another test of my memory occurs on those rare occasions where I want to terminate a frozen window on my Gnome desktop.
There’s an excellent utility called xkill which does the job…and which I can never remember the name of !
Fortunately there is a Gnome Shell Extension which will add an icon to the gnome-panel at the top of the screen so
it’s only a mouse-click away…
Let’s start with a quick look at xkill in action :
My Versions
Before we go any further, it’s probably a good idea to confirm which versions of Ubuntu and Gnome I currently have running.
For Ubuntu itself :
cat /etc/release Ubuntu 22.04.3 LTS \n \l
…and for Gnome…
gnome-shell --version GNOME Shell 42.9
Installing Extensions Manager
One way to manage Gnome Shell Extensions is to install the appropriately named Extension Manager.
To do this, open a Terminal and run :
sudo apt install gnome-shell-extension-manager |
Once installed, you should then find Extension Manager in Activities :
Open it and you’ll see
Click the Browse tab to search for extensions
I know that the Extension I want is called Force Quit and the author is megh. Extension Manager can’t find the Extension by it’s name, but it does if we search for the author
Clicking the Install Button and confirming when prompted causes the extension to be installed and activiated.
We can now see it in the Activity Bar :
Let’s give it a try
Well, that’s one less thing to remember.
Back to ignoring the cricket !
Author: mikesmithers
Back in 1993, I discovered that I could get paid money for doing fun stuff with computers. Over the years, I've specialised in Oracle Databses as a developer, a DBA and sometimes, an architect. It's my evil alter-ego - The Antikyte - who writes a blog about my various technical adventures. Yes, that is his Death Star parked in the Disabled Bay. I currently live in the South-West of England with Deb, my long-suffering wife. View all posts by mikesmithers
</div
Recommend
-
34
Ever wish you could draw on the Linux desktop or write on the screen? Well, there’s a new GNOME Shell extension that lets you do exactly that: draw on the Linux desktop. You may want to point out a bug...
-
8
Customizing Gnome 3 Desktop Environment in Arch Linux Submitted by NanoDano on Sat, 07/13/2013 - 14:03 Arch Linux is known for...
-
13
6 Reasons Why You Should Upgrade Your Linux Desktop to GNOME 40 Today By Nitin Ranganath Published 5 hours ago...
-
12
The anti-desktop desktopGnome 40 - The anti-desktop desktop Updated: March 29, 2021 In a few weeks, Fedora 34 will be released, and alongside it - you will get to use Gnome 40, the next version of this names...
-
7
Which Linux Desktop Should You Use? KDE vs. GNOME By Bertel King Published 1 day ago KDE Plasma and GNOME are two of the best desktop e...
-
12
Cara Nolte Oct 8, 2021 10 Minute Read In this post, we’re covering all the latest news from
-
12
GNOME Boxes review: no-frills and no-thrills desktop virtualization GNOME Boxes is an easy-to-use graphical virtual machine (VM) installe...
-
9
10 Must Have GNOME Shell Extensions for Customizing Your Linux Desktop in 2022 By Debarshi Das Published 9 hours ago Wa...
-
11
Canonical releases Ubuntu 22.04 LTS with upgraded kernel and GNOME desktop Canonical has launched Ubuntu 22.04 LTS, the biggest update to the Linux distribution since Ubuntu 20.04 LTS came out at the start of the COVID-19 pandemic. Si...
-
8
Installing Postman on Ubuntu/Gnome · GitHub Instantly share code, notes, and snippets. Installing Postman on Ubuntu/Gnome...
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK