filename=$2

JOLIET=true
ROCK_RIDGE=true

ISOINFO=`isoinfo -d -i "$filename"`
if echo $ISOINFO | grep "NO Joliet present" >/dev/null 2>&1; then
	JOLIET=false
fi
if echo $ISOINFO | grep "NO Rock Ridge present" >/dev/null 2>&1; then
	ROCK_RIDGE=false
fi

iso_extensions=""
if test $ROCK_RIDGE = true; then
	iso_extensions="-R"
elif test $JOLIET = true; then
	iso_extensions="-J"
fi

if test "x$3" = x-x; then
	file_to_extract=$4
	outfile=$5
	isoinfo $iso_extensions -i "$filename" -x "$file_to_extract" > "$outfile"
else
	isoinfo $iso_extensions -i "$filename" -l
fi