Arch Linux

Gnome Tweak Tool - Eintrag für Shell-Erweiterungen

bianga

Hallo,

ich bin hier (und bei Arch-Linux) noch ein totaler Neuling.
Meine erste Installation von Arch + Gnome 3.26 lief ohne Probleme.

In dem Gnome-Tweak-Tool hab ich allerdings noch ein kleines Problem. Im Menüpunkt für die Shell-Erweiterungen gibt es ja normalerweise ganz unten in der Liste die Möglichkeit Erweiterungen von Hand zu installieren, oder über den Link auf der Gnome.Org Website nach weiteren Erweiterungen zu suchen. Dieser Eintrag fehlt bei mir...
Ich komme von Debian 9.3 (Gnome 3.22), da war dieser Eintrag noch da. Ist das Fehlen dieses Eintrages auf die neuere Version von Gnome zurück zu führen, oder muss ich noch eine mir unbekannte Einstellung tätigen um ihn zu erhalten?

Das ist zwar jetzt kein Weltbewegendes Problem, aber es wundert mich und stört irgendwie...

Vielen Dank für eure Hilfe!

Sven

ingo66

Hallo bianga

Installiere das Paket chrome-gnome-shell-git.

https://wiki.gnome.org/Projects/GnomeShellIntegrationForChrome
https://aur.archlinux.org/packages/chrome-gnome-shell-git

Mithilfe der Seite https://extensions.gnome.org/ sollte es dann möglich sein, Extensions zu finden und auf "ON" oder "OFF" zu stellen.

Ansonsten:

Extension runterladen
Extension entpacken
Extension auf Kompatibilität checken (siehe metadata.json)
Extension nach /home/<USER>/.local/share/gnome-shell/extensions kopieren
gnome-shell neu starten mit Alt-F2 "r"
gnome-tweak-tool starten

bianga

Hallo ingo66,

auf diese Variante lassen sich die Erweiterungen auf jeden Fall erst einmal installieren.

Trotzdem erscheint es mir noch ein wenig seltsam, dass der Eintrag im Gnome-Tweak-Tool fehlt - habe ich irgendetwas falsch konfiguriert oder etwas vergessen zu installieren?

Sven

Baldr

Diese Einstellung die du suchst gibt es nicht (?mehr?).

Jetzt müsste man mal forschen... da Debian eine ältere Version des Tools verwendet, haben die Entwickler vielleicht die Option entfernt (das Tool und auch die Schnittstellen zur "GNOME Shell integration" wurden gerade für Version 3.26 stark überarbeitet und es wäre ja auch nicht das erste mal das GNOME Features entfernt) oder es ist eine Eigenlösung von Debian (wobei ich mir das weniger vorstellen kann).

Gruß
Dirk

ingo66

Hallo Sven

also wenn ich die tweak_group_shell_extensions.py vergleiche sehe ich, dass in der Version 3.24 von gnome-tweak-tool u. a. Folgendes noch existiert:

[...]

hb.pack_start(
                Gtk.LinkButton.new_with_label("https://extensions.gnome.org",_("Get more extensions")),
                False, False, 0)

[...]

tweak_group_shell_extensions.py (3.24)
tweak_group_shell_extensions.py (3.26)

In der Version 3.26 gibt es dies so nicht mehr. Also ist weder was falsch konfoiguriert noch hast du was vergessen, zu installieren.

Ingo