|
@ -88,12 +88,11 @@ fi |
|
|
if [ $? -eq 0 ];then |
|
|
if [ $? -eq 0 ];then |
|
|
echo "resume processing new firefox profile" |
|
|
echo "resume processing new firefox profile" |
|
|
wget $GIT_REPOSITORY_RAW/files/firefox.tgz -O /tmp/firefox.tgz |
|
|
wget $GIT_REPOSITORY_RAW/files/firefox.tgz -O /tmp/firefox.tgz |
|
|
rm $HOME/.mozilla/firefox |
|
|
|
|
|
|
|
|
rm -rf $HOME/.mozilla/firefox |
|
|
tar -xzvf /tmp/firefox.tgz -C $HOME/.mozilla/ |
|
|
tar -xzvf /tmp/firefox.tgz -C $HOME/.mozilla/ |
|
|
else |
|
|
else |
|
|
echo "omit firefox profile" |
|
|
echo "omit firefox profile" |
|
|
fi |
|
|
fi |
|
|
exit 2 |
|
|
|
|
|
|
|
|
|
|
|
## gnome settings |
|
|
## gnome settings |
|
|
echo "default settings" |
|
|
echo "default settings" |
|
|