Nachdem ich keine Gnome-Erweiterung von der Website installieren konnte, suchte ich bei Google nach einer anderen Möglichkeit. Die Anleitung, die ich fand, war ungefähr so:
sudo apt-get install gnome-common
git clone git://git.gnome.org/gnome-shell-extensions
cd gnome-shell-extensions
./autogen.sh –prefix=$HOME/.local – enable-extensions=”dock”
Der letzte Befehl ist mit dem folgenden Fehler fehlgeschlagen:
./configure: line 4276: GLIB_GSETTINGS: command not found
configure: error: invalid extension drop-down-terminal
Leider konnte ich diesmal bei Google nichts Hilfreiches finden.
Wie kann ich diesen Fehler beheben?
Antwort1
Wenn ich das richtig verstehe, haben die Gnome-Leute in den letzten Versionen ein m4-Makro eingeführt glib
- GLIB_GSETTINGS
und verteilen es mit glib
Quellen -hier ist es in gsettings.m4: AC_DEFUN([GLIB_GSETTINGS]...
.
Ihr gewünschtes Paket gnome-extensions
verwendet dieses Makroin Zeile 19 von configure.acund versucht, es an den Standardspeicherorten des Systems zu suchen. Wahrscheinlich haben Sie keine Glib-Quellen installiert, sodass es es nicht finden kann.
In Debian gsettings.m4
ist es im libglib2.0-dev
Paket enthalten und wird unter gespeichert /usr/share/aclocal/gsettings.m4
. Installieren Sie das Dev-Paket und erstellen Sie es erneut.