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 Juergen51,
das liegt an der Snap-Version von Firefox in Ubuntu 22.04. Damit funktionieren die Extensions im Moment noch nicht.
MfG
Li
Hallo Frau Lippmann,
ich hatte schon so etwas befürchtet, konnte es aber nicht so richtig glauben, weil ich dachte, der Herr Etem hätte in seinem Artikel bestimmt drauf hingewiesen. Aber bestimmt habe ich das nur überlesen, ich werde mir den Artikel morgen noch mal vornehmen.
Mit freundlichen Grüßen
Juergen51
Hallo Juergen51,
eine Anleitung von Herrn Etem soll kommen. Wann weiss ich nicht. Vielleicht gibt es sie schon, und Sie haben sie übersehen.
MfG
Li
Hallo Frau Lippmann,
danke für die Antwort. Ich habe mir den Artikel jetzt noch mal aufmerksam durchgelesen, habe aber noch keinen Hinweis auf die Version 22.04 gefunden.
Wo könnte ich noch suchen?
Mit freundlichen Grüßen
Juergen51
Hallo Juergen51,
soweit ich weiß, soll im Laufe des Oktober eine Anleitung zu diesem Thema erscheinen, evtl. in einer Sonderausgabe des Linux-Insider (?). Da hilft nur „abwarten“.
MfG
Li
Hallo Juergen51,
meine Antwort und die von Herrn Etem ändert sich hier nicht:
Mit der Snap-Version des Firefox, die in Ubuntu 22.04 eingeführt wurde, wird es nie funktionieren. Die Interaktion des Firefox mit dem restlichen System ist auf Grund der Snap-Methode beschränkt.
Alternativen:
- Verwendung von Google Chrome oder Chronium für die Gnome Shell. Da ich immer mindestens 2 Browser installiere, ist dies der einfachste Weg.
- Sie installieren den Gnome Shell Extensions Manager, damit ist der Browser für den Aufruf und die Verwaltung der Erweiterungen nicht mehr nötig. Links funktionieren natürlich nicht, aber mit der Schaltfläche browse können Sie nach Erweiterungen suchen.
sudo apt install gnome-shell-extension-manager
- Verwendung der Debian-Firefox statt der Snapversion. Ist kompliziert aber möglich und ist in der Sonderausgabe des Linux Insiders zum Umstieg auf Ubuntu 22.04 erklärt. Dort finden Sie auch genaueres zu den Unterschieden.
Mit freundlichen Grüßen
Dirk Kleemann
Hallo zusammen,
der Gnome Shell Extension Manager bietet TopHat für Ubuntu 22.04 nicht mehr an.
MfG
Li
Hallo Zusammen,
dann bleiben nur die anderen Möglichkeiten.
Mit freundlichen Grüßen
Dirk Kleemann