Download this file

chm.sh    20 lines (14 with data), 529 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
#!/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"'
# xxxCriticalDrugTherapy has encoded internal urls.
recollq '"Cocaine-induced ACS"'
) 2> $mystderr | egrep -v '^Recoll query: ' > $mystdout
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
checkresult