| 1234567891011121314151617 |
- #!/bin/sh
- rm -rf shell-test
- mkdir -p shell-test
- cd shell-test
- time sleep 1 2>timeerr >timeout
- cat timeout
- # We cannot be sure about the values, so just assert that they're not empty.
- test -n "$(cat timeerr)" || echo "Failure: 'time' stderr output not redirected correctly" && exit 1
- test -e timeout || echo "Failure: 'time' stdout output not redirected correctly" && exit 1
- time ls 2> /dev/null | head > timeout
- test -n "$(cat timeout)" || echo "Failure: 'time' stdout not piped correctly" && exit 1
- cd ..
- rm -rf shell-test # TODO: Remove this file at the end once we have `trap'
|
