From 21d95fca08cc17ed0bf76bfc7448ce0615b9f1ab Mon Sep 17 00:00:00 2001
From: Gene Liverman <gene@technicalissues.us>
Date: Fri, 26 Jan 2024 21:24:05 -0500
Subject: [PATCH] Install Pop!_OS theme and launcher

I wanted tiling in Gnome so I pulled in bits from Pop!_OS to make it happen.
---
 modules/hosts/nixos/rainbow-planet/default.nix | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/modules/hosts/nixos/rainbow-planet/default.nix b/modules/hosts/nixos/rainbow-planet/default.nix
index 1a18d31..cb2c521 100644
--- a/modules/hosts/nixos/rainbow-planet/default.nix
+++ b/modules/hosts/nixos/rainbow-planet/default.nix
@@ -22,11 +22,15 @@
     gnome.nautilus
     gnomeExtensions.dash-to-panel
     gnome.networkmanager-openvpn
+    gnomeExtensions.pop-shell
     gnomeExtensions.tailscale-qs
     networkmanager-openvpn
     pavucontrol
     polkit-kde-agent
     ulauncher
+    pop-gtk-theme
+    pop-icon-theme
+    pop-launcher
     whalebird
     wmctrl