diff options
| author | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 17:10:40 +0100 |
|---|---|---|
| committer | Dieter Plaetinck <dieter@plaetinck.be> | 2008-11-03 17:10:40 +0100 |
| commit | 69489c9c5c78a2b3c4fbdf4306d18584eeeb12ef (patch) | |
| tree | 67edda621421e7265ed0f6c95a1eada080af94d5 /src/fifa.sh | |
| parent | d2e430228f61b78a31729654506af342f6e15703 (diff) | |
log to both stdout and tty7 so we can see it if we go into dialog mode
Diffstat (limited to 'src/fifa.sh')
| -rwxr-xr-x | src/fifa.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/fifa.sh b/src/fifa.sh index a5b7749..e49f605 100755 --- a/src/fifa.sh +++ b/src/fifa.sh @@ -33,6 +33,7 @@ notify () log () { echo -e "[LOG] `date +"%Y-%m-%d %H:%M:%S"` $@" + echo -e "[LOG] `date +"%Y-%m-%d %H:%M:%S"` $@" >$LOG } |