Child: [502f7e] (diff)

Download this file

chm.sh    20 lines (12 with data), 487 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"' \
2> $mystderr | egrep -v '^Recoll query: ' > $mystdout
recollq '"pour superposer mixer des fichiers son"' \
2>> $mystderr | egrep -v '^Recoll query: ' >> $mystdout
recollq '"Django comes with a user authentication system"' \
2>> $mystderr | egrep -v '^Recoll query: ' >> $mystdout
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
checkresult