This repository has been archived on 2026-05-18. You can view files and clone it. You cannot open issues or pull requests or push a commit.
Files
disco/client/bin/disco-sh-shell

17 lines
364 B
Plaintext
Raw Normal View History

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