Parent: [3ca412] (diff)

Child: [ed0aed] (diff)

Download this file

chm.sh    18 lines (12 with data), 445 Bytes

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