Pop-Shell というプラグインは Pop! OS を作っているあの会社が開発したもので、Gnome-Shell に i3wm っぽいタイル型ウィンドウ管理を提供するためのものだ。 これがなかなかイカしてるので、自分も入れてみることにした。