git clone https://github.com/ddterm/gnome-shell-extension-ddterm.git
GitHub UI provides multiple options for downloading the source code as a .zip
(or, sometimes, .tar.gz) archive - for releases, and arbitrary commits.
To build the extension bundle, you should have the following tools installed:
- Meson build system - available as a package named
mesonin most distributions. It automatically pulls in a tool calledninja(packageninja-build) and Python 3 as dependencies.
-
msgcmp,msgmerge,xgettext(gettextpackage) -
xsltproc
To build the bundle, cd into the directory with the source code:
cd gnome-shell-extension-ddterm
and run the following commands:
meson setup build-dir
ninja -C build-dir bundle
After these steps, you should get the bundle file:
build-dir/ddterm@amezin.github.com.shell-extension.zip.
Tip
Meson puts all built/generated files into a separate directory, in this guide
it will be build-dir.
Tip
If the process fails, please double-check that you have all the dependencies (2.a) installed.
Tip
Instead of installing the bundle on your system, you can test it in a virtual machine, or in a nested (windowed) GNOME Shell.
The installation process is described in Install.md - continue from step 2.
Alternatively, you could use meson/ninja to install the bundle too.
The following command builds the bundle, if necessary, and installs it
inside user's $HOME directory (i.e. typical install location for extensions):
ninja -C build-dir user-install
The extension can be uninstalled using the following command:
ninja -C build-dir user-install
Caution
System-wide installation using sudo meson install/sudo ninja install
is not recommended. Instead, you should build and install distro-specific
packages (.deb, .rpm). meson install ... --destdir ... should work fine
in packaging scripts (RPM .spec, debian/rules).
See Arch Linux PKGBUILD for example.
You may run meson install under sudo to install the bundle system-wide
(to /usr/share/gnome-shell/extensions):
sudo meson install -C build-dir
Or, the same command with ninja:
sudo ninja -C build-dir install
Installed files can be removed with the following command:
sudo ninja -C build-dir uninstall
Described in Install.md - step 3.
You can enable the extension as described in Install.md - step 4, or by running:
ninja -C build-dir enable
Tip
It's not necessary to repeat this step after every reinstallation. If an extension was already enabled for this user, this step can be skipped.