| #! /bin/bash |
| |
| # This script expects the following arguments |
| # $1: Path to dart executable |
| # $2: Path to dart echoing script |
| # $3: Argument to dart echoing script (0, 1 or 2) |
| # $4: File for output from piping stdout and stderr |
| # $5: File prefix for output from redirecting stdout and stderr to a file. |
| # $6: Stdio type of stdin |
| |
| # Test piping and stdio file redirection. |
| echo "Hello" | $1 $2 $3 pipe pipe pipe 2>&1 | cat - > $4 |
| $1 $2 $3 $6 file file < $4 > $5.stdout 2> $5.stderr |
| $1 $2 $3 $6 file file < $4 >> $5.stdout 2>> $5.stderr |
| $1 $2 $3 $6 terminal terminal < $4 > /dev/null 2> /dev/null |
| $1 $2 $3 $6 terminal pipe < $4 2>&1 > /dev/null |
| $1 $2 $3 $6 terminal terminal < $4 > /dev/null 2>&1 |
