From 7a7a0f153b599158d3f634c043efad374105bf3a Mon Sep 17 00:00:00 2001
From: Juni Kim <junikimm717@gmail.com>
Date: Sat, 28 Jan 2023 19:05:49 -0500
Subject: [PATCH] do not enable pop shell

---
 install_ubuntu.sh | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/install_ubuntu.sh b/install_ubuntu.sh
index d72e055..fea7f84 100755
--- a/install_ubuntu.sh
+++ b/install_ubuntu.sh
@@ -65,7 +65,6 @@ popshell() {
   make compile
   make install
   make configure
-  gnome-extensions enable pop-shell@system76.com
 }
 
 meetings() {
@@ -149,8 +148,6 @@ esac
 cat <<EOF
 Stuff to do:
 
-- Install pop-shell (make local-install)
-
-- Settle brave key stuff
+- Reboot to make all changes active
 - Copy over the mt config files
 EOF