| OLD | NEW |
|---|
| 1 #! /bin/bash | 1 #! /bin/bash |
| 2 | 2 |
| 3 # This script expects the following arguments | 3 # This script expects the following arguments |
| 4 # $1: Path to dart executable | 4 # $1: Path to dart executable |
| 5 # $2: Path to dart echoing script | 5 # $2: Path to dart echoing script |
| 6 # $3: Argument to dart echoing script (0, 1 or 2) | 6 # $3: Argument to dart echoing script (0, 1 or 2) |
| 7 # $4: File for output from piping stdout and stderr | 7 # $4: File for output from piping stdout and stderr |
| 8 # $5: File prefix for output from redirecting stdout and stderr to a file. | 8 # $5: File prefix for output from redirecting stdout and stderr to a file. |
| 9 # $6: Stdio type of stdin |
| 9 | 10 |
| 10 # Test piping and stdio file redirection. | 11 # Test piping and stdio file redirection. |
| 11 echo "Hello" | $1 $2 $3 2>&1 | cat - > $4 | 12 echo "Hello" | $1 $2 $3 pipe pipe pipe 2>&1 | cat - > $4 |
| 12 $1 $2 $3 < $4 > $5.stdout 2> $5.stderr | 13 $1 $2 $3 $6 file file < $4 > $5.stdout 2> $5.stderr |
| 13 $1 $2 $3 < $4 >> $5.stdout 2>> $5.stderr | 14 $1 $2 $3 $6 file file < $4 >> $5.stdout 2>> $5.stderr |
| 15 $1 $2 $3 $6 terminal terminal < $4 > /dev/null 2> /dev/null |
| 16 $1 $2 $3 $6 terminal pipe < $4 2>&1 > /dev/null |
| 17 $1 $2 $3 $6 terminal terminal < $4 > /dev/null 2>&1 |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 13636003:
Fix a number of issues with determining the type of stdio (Closed)
Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart