The easiest way to install the extension is to go to extensions.gnome.org.
However, the review process on extensions.gnome.org is sometimes slow. A new release may be available here on GitHub, but not on extensions.gnome.org yet.
Package is available in AUR.
Binary packages are also available: https://github.com/ddterm/aur
To use the repository, append the following section to /etc/pacman.conf:
[ddterm]
SigLevel = Never
Server = https://ddterm.github.io/aur
You can also install the extension from a .zip package.
You could either download an already-built package or build it from the source code yourself.
You can download a released version from
Releases
page. You need the file [email protected].
Also, the CI system builds a package for every commit. Latest package for the
master branch is published here:
https://ddterm.github.io/gnome-shell-extension-ddterm/[email protected]
Warning
If you install the package from the master branch, GNOME Shell
will not update it automatically when a new version is released.
See BUILD.md for build instructions.
After downloading or building the package, run the following command to install it:
gnome-extensions install -f /path/to/[email protected]
To detect the newly installed or upgraded extension, GNOME Shell usually needs to be restarted.
On Wayland, the only way is to restart your session - log out, then login back.
On X11 you can restart the shell without logging out by pressing Alt+F2, r, Enter.
After GNOME Shell had been restarted, you can enable the extension using
the gnome-tweaks app, or by running:
gnome-extensions enable [email protected]
You'll have to perform this step only once.