Child: [85426a] (diff)

Download this file

delete.sh    23 lines (15 with data), 494 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
#!/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 > $mystdout 2> $mystderr
# Delete file and query again
rm -f ${tstdata}/delete/tobedeleted.txt
recollindex >> $mystderr 2>&1
recollq DeletedFileUnique >> $mystdout 2>> $mystderr
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
checkresult