Mercurial > hg > Aquinas

annotate summa/concord @ 131:b97d856cd2bb

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
complete
author ht
date Sat, 13 Jul 2024 18:06:43 +0000
parents 500614f45701
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
78
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
1 #!/bin/sh
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
2 if [ "$1" = "-b" ]
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
3 then
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
4 shift
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
5 bi=1
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
6 tb="Bilingual c"
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
7 ff=bilingual/FP_ii.html
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
8 pat='x:div[@class="bilingual"][.//x:p[.~"'$1'"]]'
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
9 else
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
10 bi=0
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
11 tb="C"
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
12 ff=latin/sth????.html
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
13 pat='x:p[.~"'$1'"]'
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
14 fi
121
500614f45701 old changes?
ht
parents: 78
diff changeset
15 egrep -l "\b$1" /home/ht/Documents/Aquinas/summa/$ff | tr '\012' '\000' | \
78
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
16 xargs -0 lxgrep -xmlns:x="http://www.w3.org/1999/xhtml" -w x:div $pat | \
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
17 sed "s/\(\b$1\w*\)/<b>\1<\/b>/;
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
18 s/<x:/</g; s/<\/x:/<\//g;
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
19 s/xmlns:x/xmlns/;
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
20 1i \
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
21 <html xmlns='http://www.w3.org/1999/xhtml'>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
22 <head>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
23 <title>${tb}oncordance for $1</title>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
24 <style>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
25 h2, h3, h4 {margin-bottom: 0px; clear: both}\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
26 .bilingual {clear: both; margin-top: .5em}\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
27 div.eng {width: 45%; float: left}\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
28 div.lat {width: 45%; float: right}\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
29 </style>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
30 </head>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
31 <body>\
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
32 "
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
33 echo "</body></html>"
e182d4ea85ca *** empty log message ***
ht
parents:
diff changeset
34