|
|
@ -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 |
|
|
|