repositories
/
phd-thesis.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
errata
[phd-thesis.git]
/
process_bib.sh
diff --git
a/process_bib.sh
b/process_bib.sh
index
e1bdb49
..
48067f1
100755
(executable)
--- a/
process_bib.sh
+++ b/
process_bib.sh
@@
-5,7
+5,9
@@
then
exit
fi
sed -i \
exit
fi
sed -i \
- -e '/url = {https\?:\/\/\(doi.org\|link\.springer\|ieeexplore\|dl\.acm\|services\.igi-global\|arxiv\.org\)/d'\
+ -e '/url = {https\?:\/\/\(doi.org\|link\.springer\|ieeexplore\|dl\.acm\|services\.igi-global\|arxiv\.org\
|www.sciencedirect.com\
)/d'\
-e 's/{Transforma Insights}/{&}/g'\
-e 's/{Transforma Insights}/{&}/g'\
+ -e 's/{TOP Software}/{&}/g'\
+ -e 's/{GHC Team}/{&}/g'\
-e 's/λ/$\\lambda$/g'\
"${@}"
-e 's/λ/$\\lambda$/g'\
"${@}"