uninstall.sh.in
上传用户:hongyu5696
上传日期:2018-01-22
资源大小:391k
文件大小:1k
源码类别:

PlugIns编程

开发平台:

Unix_Linux

  1. #!/bin/bash
  2. MOZHOME=@MOZILLA_HOME@
  3. echo "Cleaning up user plugins"
  4. if [ -f ${HOME}/.mozilla/plugins/downloadplug-in.so ]; then rm ${HOME}/.mozilla/plugins/downloadplug-in*; fi
  5. if [ `whoami` == 'root' ]; then
  6. echo "Cleaning up system plugins"
  7. if [ -z ${MOZHOME} ]; then
  8.     MOZ=`which mozilla`
  9.     MOZHOME=`grep MOZILLA_FIVE_HOME= ${MOZ} | awk  -F " '{ print $2 }'`
  10.     if [ -z ${MOZHOME} ]; then MOZHOME=`grep moz_libdir= ${MOZ} | awk  -F " '{ print $2 }'`; fi
  11. fi
  12. if [ -z ${MOZHOME} ]; then echo "Can't find MOZILLA HOME. Please uninstall manually"; exit 1; fi
  13. if [ -f ${MOZHOME}/plugins/downloadplug-in.so ]; then rm ${MOZHOME}/plugins/downloadplug-in*; fi
  14. if [ -f ${MOZHOME}/plugins/downloadplug-in.xpt ]; then rm ${MOZHOME}/components/downloadplug-in*; fi
  15. if [ -f ${MOZHOME}/components/downloadplug-in.xpt ]; then rm ${MOZHOME}/components/downloadplug-in*; fi
  16. if [ "x${MOZ}" != "x" ]; then
  17.     MOZPLUGINS=`grep MOZ_PLUGIN_PATH ${MOZ} | awk -F = '{ print $2 }' | awk -F : '{ if ( $1 != "") if ( index($1,"_PLUGIN_") == 0) print $1 }'`
  18.     if [ -f ${MOZPLUGINS}/downloadplug-in.so ]; then rm ${MOZPLUGINS}/downloadplug-in*; fi
  19. fi
  20. make uninstall -C po
  21. fi