It's just a set of about 3 gnome extensions, at least on Pop OS 20.10 right now. So in theory you just need to install the gnome extensions and you're good: ht

It's just a set of about 3 gnome extensions, at least on Pop OS 20.10 right now. So in theory you just need to install the gnome extensions and you're good: https://github.com/pop-os/shell https://github.com/pop-os/shell I've been using it for a year and love it--typing this reply in a browser window tiled next to a terminal. It's easy to add little exceptions too for modal apps you want to hover outside the tiling.