Merge branch 'master' of https://git.junickim.me/junikimm717/serverconfigs

user_ubuntu.sh

@@ -74,6 +74,12 @@ torbrowser() {
   sudo apt install -y torbrowser-launcher
 }
 
+popshell() {
+  mkdir -p "$HOME/repos"
+  sudo apt install git node-typescript make -y
+  git clone https://github.com/pop-os/shell.git "$HOME/repos/shell"
+}
+
 meetings() {
   mkdir -p "$HOME/repos"
 
@@ -119,10 +125,13 @@ competitiveprogramming() {
 }
 
 (usertest && dev && sysinfo && shell && browsers && torbrowser && meetings && plugins && dotfiles) || exit 1
+(popshell) || exit 1
 
 cat <<EOF
 Stuff to do:
 
+- Install pop-shell (make local-install)
+
 - Install the coc extensions
 - Settle brave key stuff
 - Copy over the mt config files