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.
Wie installiere ich GNOME Shell-Erweiterungen? Ist es möglich, die Erweiterungen zu aktualisieren, zu entfernen und zu
In Gnome Tweak Tool kann ich das Shell-Thema nicht ändern: Bewegen der Maus über das Ausrufezeichen zeigt den folgenden Tool-Tip: Shell user-theme extension not enabled. Ich benutze Ubuntu 14.10 und habe Gnome-Shell-Erweiterungen
Wie kann ich die obere Leiste in Gnome 3.28 Ubuntu 18.04 ausblenden? Wie kann die Hide-Top-Bar-Erweiterung installiert
Ich verwende Ubuntu Gnome 13.10 mit Gnome 3.10. Mein Problem ist, dass bei jedem Neustart des Betriebssystems alle Shell-Erweiterungen deaktiviert werden. Das Seltsame ist, dass ihre Einstellungen beibehalten werden. Sie sind nur ausgeschaltet und ich muss sie jedes Mal wieder aktivieren. Wie kann...
Die GNOME-Shell verfügt über das sogenannte Feature "Hot Corner", das das Dashboard öffnet, wenn die Maus die linke obere Ecke eines Bildschirms berührt. Ich möchte, dass dies deaktiviert wird. Früher hatte ich eine GNOME-Shell-Erweiterung, aber das Repository wurde nicht mehr gefunden: git clone...
Problembeschreibung Ich mag die 2 mal 2 Arbeitsbereiche in Ubuntu 16.04 sehr. Aber ich kann anscheinend nur den Arbeitsbereich nach oben und unten verschieben. Gibt es einen Weg, dies zu erreichen? Was ich probiert habe Es wurde versucht, die GNOME-Erweiterung mit dem Namen Workspace Grid (hier...
Angenommen, ich habe meine Gnome-Shell-Erweiterungen erfolgreich installiert. Aber ich möchte über die Befehlszeile deaktivieren / deaktivieren. Dies ist nur mit der Maus AFAIK möglich. Wie kann ich das machen
Ich migriere von Unity zu GNOME. Ein Punkt, den ich vermisse, ist eine Schaltfläche "Desktop anzeigen" (alias "Alle Fenster minimieren") im Bindestrich. Wie kann ich diese Funktionalität dem GNOME-Dash (oder dem Ubuntu-Dock in Ubuntu 17.10 und höher) hinzufügen, selbst wenn dies bedeutet, dass eine...
Ich verwende die Gnome-Shell 3.4.1 unter Ubuntu 12.04. Ich habe verschiedene Erweiterungen von http://extensions.gnome.org ausprobiert und möchte nun einige vollständig entfernen, insbesondere, weil sie in Gnome Tweak Tool keinen Platz beanspruchen. Ist es sicher, nur den Erweiterungsordner unter...
Das große Dock links. In anderen Versionen könnten Sie Unity Launcher entkommen, indem Sie zu Gnome gehen. Was nun? Gnome Tweaks zeigt es nicht als Erweiterung an, obwohl es aussieht, als würde man es ankoppeln. Ich sehe Autohide-Optionen in den Einstellungen, kann sie jedoch nicht vollständig...
Ich kann auf die Website https://extensions.gnome.org/ gehen und Gnome-Shell-Erweiterungen herunterladen. Jetzt muss ich jedoch einige dort verfügbare Erweiterungen auf einem Computer installieren, der überhaupt keinen Internetzugang hat. Es befindet sich in einem internen Unternehmensnetzwerk und...
Ich wollte einige Gnome-Shell-Erweiterungen entwickeln, da sie nur in Javascript sind, aber ich habe nachgeschaut und es gibt praktisch keine Dokumentation. Überall, wo ich hinschaue, sagen die Leute nur, dass sie die grundlegende Gnome-Dokumentation verwenden sollen, aber das hilft NICHT, das kann...
Ubuntu 17.10 führt die GNOME-Shell mit dem Ubuntu-Dock ein (basierend auf der Dash-to-Dock- Erweiterung der GNOME-Shell) und ermöglicht es Ihnen, das Dock am unteren Rand des Desktops zu platzieren: Es gibt jedoch keine einfache Möglichkeit, das Symbol Show Applications (siehe rechts) links vom...
Wie erhalte ich weitere Informationen, warum eine bestimmte Erweiterung nicht funktioniert, und zeige beim Versuch, sie zu aktivieren, die Meldung "Fehler beim Laden der Erweiterung"?
Die Reihenfolge der Shell-Erweiterungs-Widgets scheint zufällig zu sein. Wie kann ich sie ändern? Ich möchte zum Beispiel die Datums- / Uhrzeitinformationen auf der linken Seite haben. Mein Shell Panel:
Bei einer neuen Ubuntu-Installation (12.04, 64-Bit) habe ich nach der Installation von gnome-shell versucht, einige Erweiterungen von extensions.gnome.org zu installieren, aber keine Ergebnisse erzielt. Ich habe es mit Firefox und Chromium versucht und habe das gleiche Problem. Öffnen Sie eine...
Oder die Updates automatisieren? Oder den Update-Notifier löschen / deaktivieren? Es ist nicht in der Liste der "installierten Erweiterungen" und eine Neuinstallation hilft nicht. Wo befinden sich die
Ich weiß, dass Fragen, die so klingen, schon einmal gestellt wurden, aber keine der "Lösungen" funktioniert für mich. Ich verwende die Gnome Classic Option. Ich konnte keine Erweiterung finden, die das macht, was ich will. Ich konnte gnome-panelin meinem dconfEditor keinen Eintrag für finden...
Was ist denn hier los? Ich habe die Dash to Dock- Erweiterung auf Ubuntu 17.10 installiert . Alles war cool, und als ich versuchte, das Aussehen meines Desktops zu verbessern und zu optimieren, wurde die Verknüpfungsleiste (Dock?) Auf der linken Seite dupliziert. Die Standardeinstellung, die...
Gelegentlich erhalte ich die Meldung, dass ein Update für eine meiner GNOME-Shell-Erweiterungen vorhanden ist. Diese Nachricht leitet mich zu https://extensions.gnome.org/local/ weiter, wo ich über die Weboberfläche ein Update auslösen kann. Ich würde lieber Updates über die Befehlszeile aufrufen,...