#!/bin/bash if [ "$NOOP" != "" ]; then DISCOROOT=/var/disco/testfs/noop else DISCOROOT=/var/disco/testfs/real fi mount | grep $DISCOROOT >/dev/null 2>&1 if [ $? -ne 0 ]; then echo "disco filesystem is not mounted" exit 1 fi if [ "$NOOP" != "" ]; then chroot ${DISCOROOT}/chroot /bin/env PATH=${DISCOROOT}/restricted/bin:${DISCOROOT}/munge/mungebin /bin/bash --restricted $@ else chroot ${DISCOROOT}/chroot /bin/bash $@ fi exit $?