#!/bin/bash
# A little script which first initialises the virtual environment
# for NICOS and then runs a nicos program. This script is supposed to
# be renamed or linked to the name of the nicos-program, like nicos-daemon
source ${NICOSROOT}/nicosenv/bin/activate
prog=`basename $0`
if [ $prog = "nicosctl" ]; then
    ${NICOSROOT}/etc/nicos-system $*
else
    ${NICOSROOT}/bin/"$prog" $*
fi
