GNOME Shell-Erweiterungen sind kleine Ausschnitte, die die Funktionalität und die Merkmale von GNOME Shell erweitern. Diese Snippets sind in JavaScript und CSS geschrieben.
Ich habe eine GNOME-Erweiterung über eine Google-Suche (mit Chromium) gefunden und war sehr überrascht, dass ich einfach den Ein- / Ausschalter umschalten konnte, damit die Website eine vollständige GNOME-Erweiterung auf meinem Computer installiert, ohne dass weitere manuelle Schritte erforderlich sind. (getestet, dies funktioniert auch mit Firefox.) Zugegeben, es wird ein …
In 16.04 Ubuntu installierte ich eine Compiz - Plugin mit einer alternativen alt- tabSchaltstelle, die nette Funktion hatte, bis ich von dem loslassen AltSchlüssel, es versteckte alle anderen Fenster und zeigte nur die, die ich darüber Schalter sollte. Dies ist sehr nützlich, wenn eine Reihe offener Terminals vorhanden sind, die …
Ich habe ein kleines Problem mit Gnome-Shell-Erweiterungen. Nachdem ich einige von ihnen installiert hatte, verstand ich, dass ich sie nicht mochte und beschloss, sie zu entfernen. Die Erweiterungen selbst (ihre Ordner in /home/username/.local/share/gnome-shell/extensions) wurden erfolgreich gelöscht. Die gelöschten Erweiterungen wurden jedoch nicht aus der Liste der installierten Erweiterungen unter extensions.gnome.org …
Ausführen von Ubuntu 12.04 mit Gnome Shell 3.4 . Nach dem Aktivieren der Erweiterung des unteren Bedienfelds (um lästige Nachrichtenablage / untere Bedienfeld / Hot-Corner unten zu entfernen; Sie wissen, wovon ich spreche (:), wird nach dem Hinzufügen des USB-Laufwerks immer noch eine "halbe" Meldung angezeigt , weiß nicht, wie …
Ich habe ein bisschen Probleme damit, Gnome-Shell zum Laufen zu bringen, seit ich am 11.10 eine Erweiterung installiert habe (ich weiß nicht welche). Was ich also gerne wissen würde, ist: Wie kann ich ALLES, was mit Gnome-Shell zu tun hat (alle Erweiterungen, Gnome-Tweak-Tool usw.), alles vollständig deinstallieren - damit ich …
Ich habe mehrere Gnome-Shell-Erweiterungen von der offiziellen Gnome-Site heruntergeladen und installiert. Aber ich möchte sie nicht jedes Mal installieren, ich installiere mein Ubuntu neu. Ich möchte eine Funktion zum Sichern dieser Erweiterungen und zum Wiederherstellen nach Bedarf haben. Wie kann ich das machen?
Nach dem Upgrade auf 18.10 ist das Verhalten von Gnome-Erweiterungen sehr merkwürdig. Nachdem mein Laptop in den Ruhezustand versetzt wurde, schalten sich alle aus und das erneute Aktivieren unter https://extensions.gnome.org/local/ hilft nicht: Es ändert sich nichts und wenn ich die Seite aktualisiere, werden sie wieder deaktiviert. Die einzige Möglichkeit, sie …
Geschlossen . Diese Frage erfordert Details oder Klarheit . Derzeit werden keine Antworten akzeptiert. Möchten Sie diese Frage verbessern? Fügen Sie Details hinzu und klären Sie das Problem, indem Sie diesen Beitrag bearbeiten . Geschlossen vor 5 Jahren . Erweiterungen können nicht installiert werden. Ich rutsche einfach von "aus" nach …
Linux Mint 12 verwendet MGSE, wodurch die GNOME-Shell eher der Gnome 2.x-Oberfläche ähnelt. Ich würde gerne wissen, ob das unter Ubuntu möglich ist und wie ich das machen würde.
Gerade 11.10 und GNOME Tweak Tool installiert, kann aber nicht installiert gnome-shell-extensions-user-themewerden, da es nicht vorhanden ist (oder so apt-get installsagt es mir). Aus diesem Grund gibt es user-theme-extensionsin den erweiterten Einstellungen für das GNOME Tweak Tool keine Aktivierung . Ich kann das Repository dafür nirgendwo finden. Was mache ich …
Ich habe Ubuntu 11.10 Beta installiert, als es vor ein paar Wochen veröffentlicht wurde. Alles funktioniert gut. Später habe ich die GNOME-Shell installiert und sie dann von der Gna-Shell-Test-ppa aktualisiert. Ich habe auch alle Gnome-Shell-Erweiterungen installiert und aktiviert, die auf dem ppa verfügbar sind. Es gibt nur ein Problem. Immer …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.