Parent: [f67d76] (diff)

Download this file

delete.sh    25 lines (17 with data), 556 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
#!/bin/sh
topdir=`dirname $0`/..
. $topdir/shared.sh
initvariables $0
tstfile=${tstdata}/delete/tobedeleted.txt
# Create file to be deleted, index, query
echo "DeletedFileUnique" > $tstfile
recollindex >> $mystderr 2>&1
recollq DeletedFileUnique 2> $mystderr |
egrep -v '^Recoll query: ' > $mystdout
# Delete file and query again
rm -f ${tstdata}/delete/tobedeleted.txt
recollindex >> $mystderr 2>&1
recollq DeletedFileUnique 2>> $mystderr |
egrep -v '^Recoll query: ' >> $mystdout
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
checkresult