From 820d6f3b512b206f7a5543caa650bdcb39fb4fc5 Mon Sep 17 00:00:00 2001
From: pvincent <pvincent@artcode.re>
Date: Fri, 26 Mar 2021 20:57:09 +0400
Subject: [PATCH] extension

---
 src/main | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/main b/src/main
index 488d7e3..57e26bd 100755
--- a/src/main
+++ b/src/main
@@ -102,9 +102,11 @@ if [[ -d $HOME/.mozilla/firefox ]];then
 fi
 if [ $? -eq 0 ];then
     echo "resume processing new firefox profile"
+    echo -n "please wait for a while..."
     wget -q $GIT_REPOSITORY_RAW/files/firefox.tgz -O /tmp/firefox.tgz
     rm -rf $HOME/.mozilla/firefox
     tar -xzvf /tmp/firefox.tgz -C $HOME/.mozilla/
+    echo "DONE"
 else
     echo "Omit firefox profile"
 fi
@@ -185,7 +187,7 @@ for key in "${!extensions[@]}"; do
         echo -n "installing new extension <${value}>..."
         $FILE_IGE --enable $key
         echo DONE
-        LOGOUT_REQUIRED=true
+        gnome-shell-extension-tool -e "${value}"
     else
         echo "Extension <${value}> already installed!"
     fi