1
0
Fork 0
GEX thesis source code, full text, references
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
 
 
 
 
 
gex-thesis/formalize2.sh

12 Zeilen
180 B

#/bin/bash
if [[ "$1" == "" ]]; then
echo "missing arg"
exit
fi
echo "Processing $1"
sed -i 's/ \\ref/~\\ref/g' "$1"
sed -i 's/ \cite/~\cite/g' "$1"
git diff --word-diff "$1"