19 lines
500 B
Bash
Executable File
19 lines
500 B
Bash
Executable File
#!/bin/bash
|
|
|
|
if [ "$NOOP" == "" ]; then
|
|
DISCOROOT=/var/disco/testfs/real
|
|
else
|
|
DISCOROOT=/var/disco/testfs/noop
|
|
fi
|
|
|
|
mount | grep $DISCOROOT >/dev/null 2>&1
|
|
if [ $? -ne 0 ]; then
|
|
echo "disco filesystem is not mounted; please mount it and try again."
|
|
fi
|
|
|
|
# Strip out any shebang and put the script in the root
|
|
mkdir -p ${DISCOROOT}/restricted/$(dirname $2)
|
|
cat $1 | sed s/'^#!.*'/''/g > ${DISCOROOT}/restricted/$2
|
|
NOOP="$NOOP" $(dirname $0)/disco-sh-shell ${DISCOROOT}/restricted/$2
|
|
exit $?
|