Hallo,
entsprechend der Anleitung von Kaner Etem im Linux-Insider Heft 10/22 wollte ich das Tool Tophat installieren.
Die dazu benötigten Terminalbefehle
sudo apt install gnome-shell-extensions -y
sudo apt install gir1.2-gtop-2.0 -y
konnte ich problemlos ausführen. Danach folgte der Link Beantwortete Frage von dirkkleemann Oktober 5, 2022
Hallo zusammen,
der Gnome Shell Extension Manager bietet TopHat für Ubuntu 22.04 nicht mehr an.
MfG
Li
Beantwortete Frage von Lippmann Oktober 4, 2022