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