#!/bin/sh # version 2.0 # quick maui integration in pbs # check user root if [ `whoami` != root ]; then echo " WARNING" echo " - Must be run by root" 1>&2 exit 1 fi CONFFILE="/etc/clusterserver.conf" if [ ! -f ${CONFFILE} ]; then echo "Cant find ${CONFFILE} !" exit 1 fi . ${CONFFILE} MAUI_HOME="/var/spool/maui" if [ -f $MAUI_HOME/maui.cfg ]; then cp -f $MAUI_HOME/maui.cfg $MAUI_HOME/maui.cfg.$DATE.sauv fi cp -f $MAUI_HOME/maui.cfg.sample $MAUI_HOME/maui.cfg echo " - Configuring Name of pbs server" sed -e "s/NAMESERVERH/$HOSTNAME/g" $MAUI_HOME/maui.cfg.sample > $MAUI_HOME/maui.cfg for i in `cat $NODESFILE` do echo "NODECFG[$i] PARTITION=pclic ARCH=THIN MAXLOAD=10" >> $MAUI_HOME/maui.cfg done echo " - Restarting maui Scheduler" service maui restart