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:
I couldn't find the package myself so I build and installed xprop which is yet another dependency:
NOTE: if you are on wayland e.g., with my new groovy image: (see here: https://forum.pine64.org/showthread.php?...3#pid84503), you won't need the xprop dependency below!
Finally, build and install pop-shell from source:
You may need to open gnome-tweaks -> Extensions -> Toggle Pop Shell
You may also need to reboot or restart gnome to see it show up in gnome-tweaks->Extensions
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)
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:
NOTE: if you are on wayland e.g., with my new groovy image: (see here: https://forum.pine64.org/showthread.php?...3#pid84503), you won't need the xprop dependency below!
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
You may also need to reboot or restart gnome to see it show up in gnome-tweaks->Extensions
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)