uninstall.sh
上传用户:hongyu5696
上传日期:2018-01-22
资源大小:391k
文件大小:1k
- #!/bin/bash
- MOZHOME=
- echo "Cleaning up user plugins"
- if [ -f ${HOME}/.mozilla/plugins/downloadplug-in.so ]; then rm ${HOME}/.mozilla/plugins/downloadplug-in*; fi
- if [ `whoami` == 'root' ]; then
- echo "Cleaning up system plugins"
- if [ -z ${MOZHOME} ]; then
- MOZ=`which mozilla`
- MOZHOME=`grep MOZILLA_FIVE_HOME= ${MOZ} | awk -F " '{ print $2 }'`
- if [ -z ${MOZHOME} ]; then MOZHOME=`grep moz_libdir= ${MOZ} | awk -F " '{ print $2 }'`; fi
- fi
- if [ -z ${MOZHOME} ]; then echo "Can't find MOZILLA HOME. Please uninstall manually"; exit 1; fi
- if [ -f ${MOZHOME}/plugins/downloadplug-in.so ]; then rm ${MOZHOME}/plugins/downloadplug-in*; fi
- if [ -f ${MOZHOME}/plugins/downloadplug-in.xpt ]; then rm ${MOZHOME}/components/downloadplug-in*; fi
- if [ -f ${MOZHOME}/components/downloadplug-in.xpt ]; then rm ${MOZHOME}/components/downloadplug-in*; fi
- if [ "x${MOZ}" != "x" ]; then
- MOZPLUGINS=`grep MOZ_PLUGIN_PATH ${MOZ} | awk -F = '{ print $2 }' | awk -F : '{ if ( $1 != "") if ( index($1,"_PLUGIN_") == 0) print $1 }'`
- if [ -f ${MOZPLUGINS}/downloadplug-in.so ]; then rm ${MOZPLUGINS}/downloadplug-in*; fi
- fi
- make uninstall -C po
- fi