Parent: [49a776] (diff)

Download this file

info.sh    28 lines (21 with data), 896 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
25
26
27
#!/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
# Nope, not always: added mime type clause to fix. Using text/html
# because the result document is text/html|gnuinfo
(
recollq '"GPGME is compiled with largefile support by default"' \
mime:text/html
) 2> $mystderr | egrep -v '^Recoll query: ' > $mystdout
diff -w ${myname}.txt $mystdout > $mydiffs 2>&1
checkresult