Parent: [fea94a] (diff)

Child: [d40af5] (diff)

Download this file

info.sh    24 lines (17 with data), 742 Bytes

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!/bin/sh
topdir=`dirname $0`/..
. $topdir/shared.sh
initvariables $0
# Note: file -i returns application/octet-stream for
# somefile.info-1. xdg-mime query filetype returns text/plain. Recoll
# 1.22 and later return several results for the following query, one
# for the info file, and others in the somefile.info-xx files, as
# text/plain files. Previous versions only returned the info file,
# which was better, but I'm not sure that we can do something about
# it.
# It seems that later versions of xdg-mime return octet-stream so all back
# to normal
recollq '"GPGME is compiled with largefile support by default"' 2> $mystderr |
egrep -v '^Recoll query: ' > $mystdout
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
checkresult