Einige Gnome Shell-Erweiterungen mit apt (Deb-Paket) installiert – wie aktiviere ich sie?

Question

Ich tat:

sudo apt install gnome-shell-extension-show-ip
sudo apt install gnome-shell-extension-weather

Ich habe die GUI-Erweiterungen und Gnome-Optimierungen überprüft und sehe sie nicht in dieser Liste. Wie aktiviere und konfiguriere ich sie?

Answer 1

Versuchen Sie, die Gnome-Shell neu zu starten, indem Sie Alt+F2 eingeben restartund die Eingabetaste drücken.

Öffnen Sie dann extensions appoder tweakssteuern Sie sie.

Alternativ ist auch das Abmelden und erneute Anmelden eine Möglichkeit.

Ich melde mich einfach erneut an, nachdem die beiden von Ihnen erwähnten Befehle ausgeführt wurden.