|
a/tests/chm/chm.sh |
|
b/tests/chm/chm.sh |
|
... |
|
... |
| 3 |
topdir=`dirname $0`/..
|
3 |
topdir=`dirname $0`/..
|
| 4 |
. $topdir/shared.sh
|
4 |
. $topdir/shared.sh
|
| 5 |
|
5 |
|
| 6 |
initvariables $0
|
6 |
initvariables $0
|
| 7 |
|
7 |
|
|
|
8 |
(
|
| 8 |
recollq '"nokia ovi suite" wmdrm "windows media player version 11"' \
|
9 |
recollq '"nokia ovi suite" wmdrm "windows media player version 11"'
|
| 9 |
2> $mystderr | egrep -v '^Recoll query: ' > $mystdout
|
|
|
| 10 |
|
|
|
| 11 |
recollq '"pour superposer mixer des fichiers son"' \
|
10 |
recollq '"pour superposer mixer des fichiers son"'
|
| 12 |
2>> $mystderr | egrep -v '^Recoll query: ' >> $mystdout
|
|
|
| 13 |
|
|
|
| 14 |
recollq '"Django comes with a user authentication system"' \
|
11 |
recollq '"Django comes with a user authentication system"'
|
|
|
12 |
recollq '"establishment of a project cost accounting system of ledgers"'
|
| 15 |
2>> $mystderr | egrep -v '^Recoll query: ' >> $mystdout
|
13 |
) 2> $mystderr | egrep -v '^Recoll query: ' > $mystdout
|
| 16 |
|
14 |
|
| 17 |
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
|
15 |
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
|
| 18 |
|
16 |
|
| 19 |
checkresult
|
17 |
checkresult
|