11-25-2020, 09:34 AM
(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)
Pretty coolio - thx for sharing, +1 for the gnome smoothness on armbian, just adding those dependencies coming straight from a bullseye min. build.
Code:
pkg-config libx11-dev