PREIN
/bin/sh
/usr/sbin/groupadd -g 12386 -r -f pbs > /dev/null 2>&1 ||:
# /usr/sbin/useradd -g pbs -d %{pbs_user} -r -s /bin/bash -p "" -m >/dev/null 2>&1 ||:
PREUN
/bin/sh
/usr/share/rpm-helper/del-service OpenPBS $1 pbs_server
# /usr/share/rpm-helper/del-service OpenPBS $1 pbs_sched
# rm -rf /var/spool/pbs/sched_logs/
# rm -rf /var/spool/pbs/sched_priv/
# rm -rf /var/spool/pbs/server_priv/
# rm -rf /var/spool/pbs/server_logs/
POSTIN
/bin/sh
#!/bin/sh
pbs_prefix=/usr
pbs_server_home=/var/spool/pbs
if [ -f "${pbs_server_home}/server_name" ]; then
echo `hostname` > ${pbs_server_home}/server_name
fi
#if [ ! -f "${pbs_server_home}/default_server" ] ; then
# echo "# <server hostname>" > ${pbs_server_home}/default_server
#fi
if [ -f "${pbs_server_home}/default_server" ]; then
echo `hostname` >> ${pbs_server_home}/default_server
fi
echo `hostname` > ${pbs_server_home}/server_priv/nodes
# add pbs service
/usr/share/rpm-helper/add-service OpenPBS $1 pbs_server
# /usr/share/rpm-helper/add-service OpenPBS $1 pbs_sched
# mise a jour /etc/services if needed
CHECK_PORT=`grep 15003 /etc/services`
if [ -z "$CHECK_PORT" ]; then
cat >> /etc/services << EOF
# Port needed by PBS
pbs_server 15001/tcp # pbs server
pbs_mom 15002/tcp # mom to/from server
pbs_resmon 15003/tcp # mom resource management requests
pbs_resmon 15003/udp # mom resource management requests
pbs_sched 15004/tcp # scheduler
EOF
fi
echo "!!!!!!!!!!!!!!!!"
echo "End users may not use it unless they register at Openpbs.org site."
echo "Please REGISTER:"
echo "http://www.openpbs.org/request.php3"
POSTUN
/sbin/ldconfig
# /usr/sbin/userdel pbs