#! /bin/dash # # compile/run/debug project files # # this script is invoked via chroot+setuidgid # # R. Perry, Jan. 2003 # # ZZ marks local customization sections #PATH="/vecr/bin:/opt/jdk/bin:/opt/bin:/bin:/usr/bin:/sbin:/usr/sbin" PATH="/vecr/bin:/opt/bin:/usr/bin:/usr/sbin" export PATH # user PATH, includes ".", by popular demand, in spite of insecurity # UPATH="$PATH:." mode="$1" top="$2" sub="$3" file="$4" args="$5" dir="$top/$sub" cd "$dir" || exit 1 TMP="/htdocs/tmp" WAV="/vecr/bin/wav" CONVERT="/usr/bin/convert" M="/bin/octave-cli" PYTHON="/opt/bin/python3" ### # function to present WAV audio # # Using the HTML5