Parent: [f67d76] (diff)
Download this file
1 2 3 4 5 6 7 8 9 10 11 12 13
#!/bin/sh topdir=`dirname $0`/.. . $topdir/shared.sh initvariables $0 recollq '"plurilingues et pluriculturels"' 2> $mystderr | egrep -v '^Recoll query: ' > $mystdout diff -w ${myname}.txt $mystdout > $mydiffs 2>&1 checkresult