mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-28 01:06:17 +00:00
eda1585e2d
PR: ports/80605 Submitted by: Rob <lahaye@snu.ac.kr>
60 lines
1001 B
Bash
60 lines
1001 B
Bash
#!/bin/sh
|
|
# $FreeBSD$
|
|
|
|
[ $# != 2 ] && exit 1
|
|
PKGNAME=$1
|
|
ACTION=$2
|
|
|
|
FILES_DELETE="pluggerrc-5.1.3.old"
|
|
|
|
ETCDIR=${PKG_PREFIX}/etc
|
|
|
|
RM=/bin/rm
|
|
CP=/bin/cp
|
|
ECHO=/bin/echo
|
|
|
|
case "$ACTION" in
|
|
|
|
POST-INSTALL)
|
|
if [ ! -f ${ETCDIR}/pluggerrc-5.1.3 ]; then
|
|
${CP} ${ETCDIR}/pluggerrc-5.1.3.sample ${ETCDIR}/pluggerrc-5.1.3
|
|
fi
|
|
;;
|
|
|
|
DEINSTALL)
|
|
for file in ${FILES_DELETE}
|
|
do
|
|
if [ -f ${ETCDIR}/${file} ]; then
|
|
${RM} ${ETCDIR}/${file}
|
|
fi
|
|
done
|
|
;;
|
|
|
|
PRE-INSTALL)
|
|
${ECHO}
|
|
${ECHO} "Run ''make local-mozilla-install'' as user to locally"
|
|
${ECHO} "install plugger for Mozilla"
|
|
${ECHO}
|
|
${ECHO} "Run ''make local-opera-install'' as user to locally"
|
|
${ECHO} "install plugger for Opera"
|
|
${ECHO}
|
|
${ECHO} "NOTE: For plugger-oohelper to work, [o|s]office must be"
|
|
${ECHO} "in the PATH."
|
|
${ECHO}
|
|
;;
|
|
|
|
POST-DEINSTALL)
|
|
${ECHO}
|
|
${ECHO} "If you are permanently removing this port,"
|
|
${ECHO} "you should do a ''rm -f ${ETCDIR}/pluggerrc-5.1.3''"
|
|
${ECHO} "to remove it."
|
|
${ECHO}
|
|
;;
|
|
|
|
*)
|
|
exit 1
|
|
;;
|
|
esac
|
|
|
|
exit
|