(11-23-2020, 08:39 PM)clover Wrote: As part of my quest for a Pop!_OS experience on a PBP, (see this tweet for a snapshot), I wanted to install Pop Shell tiling Gnome extension. I found there were a couple extra steps to get it working on PBP. Once it works, it's freaking awesome.

This should work with any Gnome image, especially Ubuntu based. 

Personally, I started with Armbian and then installed Gnome. if you want to know how to do that, see my answer to Best Gnome Distro for PBP? thread. 

Install dependencies:

Code:

sudo apt install node-typescript make xutils-dev git gnome-tweaks

I couldn't find the package myself so I build and installed xprop which is yet another dependency:

Code:

git clone https://gitlab.freedesktop.org/xorg/app/xprop.git && cd xprop
./autogen.sh
sudo make install

Finally, build and install pop-shell from source:

Code:

git clone https://github.com/pop-os/shell && cd shell
make local-install

You may need to open gnome-tweaks -> Extensions -> Toggle Pop Shell

Reboot may be necessary.

Enjoy your new awesome multi-tasking skills, there should now be a widget in the right side of the gnome bar where you can toggle window tiling on (off by default)