Oddbean new post about | logout
▲ ▼
dtonon | 1 months ago (raw) | root | parent | reply | flag 
 Even if it's not so hardcore, I like and find really usable the tiling manager included in PopOS
▲ ▼
Freedom Tech | 1 months ago (raw) | root | parent | reply | flag 
 Pop is based on Gnome, so is probably the same thing as one of the Gnome window tiling managers.
▲ ▼
dtonon | 1 months ago (raw) | root | parent | reply | flag 
 No, it's a PopOS thing:
https://github.com/pop-os/shell