All Articles

Support Articles

Table of Contents

Using Pop Shell on other GNOME Desktops

For Ubuntu-Based Distros

In order to build Pop Shell from source, we'll first need to install the build dependencies and git to clone the repository:

sudo apt install git node-typescript make

Note: these instructions assume an Ubuntu-based distro; other distributions (see examples below) will use different package managers, and may have different package names.

Next we'll clone the repository using this command:

git clone https://github.com/pop-os/shell.git

Now we'll enter the directory for Pop Shell (called "shell") and build the package:

cd shell
make local-install

For Fedora-based distros

Pop Shell is already packaged in the Fedora repostitories:

sudo dnf install gnome-shell-extension-pop-shell

For Arch

Pop Shell is packaged in the AUR, but for the keyboard shortcuts to work, you will need to build it from source like we did above.

In order to build Pop Shell from source we'll first need to install the build dependencies and git to clone the repository:

sudo pacman -S git typescript make

Next we'll clone the repository using this command:

git clone https://github.com/pop-os/shell.git

Now we'll enter the directory for Pop Shell (called "shell") and build the package:

cd shell
make local-install

To remap the launcher to Super+Space:

gsettings --schemadir ~/.local/share/gnome-shell/extensions/pop-shell@system76.com/schemas set org.gnome.shell.extensions.pop-shell activate-launcher "['<Super>space']"

You can remap launcher to just Super_L (Left Super key), but it will eat the Super modifier and prevent other Super combinations from working:

gsettings --schemadir ~/.local/share/gnome-shell/extensions/pop-shell@system76.com/schemas set org.gnome.shell.extensions.pop-shell activate-launcher "['Super_L']"

To disable the Super key from opening the GNOME overview:

gsettings set org.gnome.mutter overlay-key ''

For Manjaro

Pop Shell is available in the repository:

sudo pamac install gnome-shell-extension-pop-shell

To learn about Pop Shell's keyboard shortcuts you can view this support article. You can also view Pop Shell's source code here.