diff options
Diffstat (limited to 'scripts/record-commands')
| -rwxr-xr-x | scripts/record-commands | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/record-commands b/scripts/record-commands index 741c3818..8410966b 100755 --- a/scripts/record-commands +++ b/scripts/record-commands @@ -7,7 +7,7 @@ if [ $# -eq 0 ] then - echo "Usage: WRAPDIR=dir WRAPLOG=log.txt record-commands COMMAND..." + echo "usage: WRAPDIR=dir WRAPLOG=log.txt record-commands COMMAND..." echo 'Then examine log.txt. "record-commands echo" to just setup $WRAPDIR' exit 1 fi |