From a56aa580451e1da0eab0385d76bcbab176ab2e81 Mon Sep 17 00:00:00 2001 From: Juni Kim Date: Sat, 28 Jan 2023 12:23:01 -0500 Subject: [PATCH] pop shell custom build --- install_ubuntu.sh | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/install_ubuntu.sh b/install_ubuntu.sh index 168dd45..d72e055 100755 --- a/install_ubuntu.sh +++ b/install_ubuntu.sh @@ -61,7 +61,11 @@ popshell() { sudo apt install git node-typescript make -y git clone https://github.com/pop-os/shell.git "$HOME/repos/shell" cd "$HOME/repos/shell" || exit 1 - make local-install && gnome-extensions enable pop-shell@system76.com + make depcheck + make compile + make install + make configure + gnome-extensions enable pop-shell@system76.com } meetings() {