Another Drop Down Terminal Extension for GNOME Shell

extensions.gnome.org

Inspired by

• https://github.com/bigbn/drop-down-terminal-x

• https://github.com/Guake/guake

Distinguishing features

• Runs on Wayland natively

• Terminal window can be resized by dragging the border with mouse

• Preferences window with a lot of different settings

Installing

The easiest way to install the extension is to go to extensions.gnome.org.

However, review process on extensions.gnome.org is kinda slow, so a new release may be available here on GitHub, but not on extensions.gnome.org yet.

If you want to install from GitHub:

Install from a prebuilt package

You can download a released version from Releases page. You need the file [email protected].

Or, you can download a prebuilt package for a branch from Github Pages.

Download it, then run:

$ gnome-extensions install -f /path/to/[email protected]

Restart GNOME Shell

After that, restart GNOME Shell - log out, log in back. On X11 you can restart the shell by pressing Alt+F2, r, Enter.

Enable extension

Then you can enable the extension using gnome-tweaks app, or by running:

$ gnome-extensions enable [email protected]

Install from git repository

Dependencies

For installation from git repository, you should have build dependencies installed:

• gtk-builder-tool (libgtk-3-bin package on Ubuntu, gtk3-devel on Fedora, gtk3 package on Arch)

• gtk4-builder-tool (gtk4-devel package on Fedora, gtk4 package on Arch)

• xsltproc (xsltproc package on Ubuntu, libxslt on Fedora and Arch)

gtk4-build-tool and xsltproc are only necessary if you want Gtk 4/GNOME 40 support. To build without them, run make with WITH_GTK4=no: make WITH_GTK4=no develop or make WITH_GTK4=no install.

Or, if you have docker installed instead, you can run:

$ ./do-in-docker.sh make

This will generate all necessary files, using CI image, and then make install/make develop won't need any dependencies.

make install

git clone the repository into arbitrary location, and run make install:

$ git clone https://github.com/amezin/gnome-shell-extension-ddterm.git
$ cd gnome-shell-extension-ddterm
$ make install

It will build the extension package and install it.

Restart GNOME Shell

After that, restart GNOME Shell - log out, log in back. On X11 you can restart the shell by pressing Alt+F2, r, Enter.

Enable extension

Then you can enable the extension using gnome-tweaks app, or by running:

$ make enable

in the repository.

make develop

You can simply symlink the repository into extensions directory. make develop will do it for you:

$ git clone https://github.com/amezin/gnome-shell-extension-ddterm.git
$ cd gnome-shell-extension-ddterm
$ make develop

Restart GNOME Shell

After that, restart GNOME Shell - log out, log in back. On X11 you can restart the shell by pressing Alt+F2, r, Enter.

Enable extension

Then you can enable the extension using gnome-tweaks app, or by running:

$ make enable

in the repository.

git clone to ~/.local/share/gnome-shell/extensions

Or you can clone the repository directly into ~/.local/share/gnome-shell/extensions:

$ mkdir -p ~/.local/share/gnome-shell/extensions
$ cd ~/.local/share/gnome-shell/extensions
$ git clone https://github.com/amezin/gnome-shell-extension-ddterm.git [email protected]
$ cd [email protected]
$ make develop

Running make develop is still necessary to generate some files.

Restart GNOME Shell

After that, restart GNOME Shell - log out, log in back. On X11 you can restart the shell by pressing Alt+F2, r, Enter.

Enable extension

Then you can enable the extension using gnome-tweaks app, or by running:

$ make enable

in the repository.