claudius108

check if xml files are well formed

find ./ -name "*.xml" -exec xmllint --noout {} \;

format files in place

find . -name "*.xml" -type f -exec xmllint --encode utf8 --output '{}' --format --noblanks '{}' \;

validate files against a local schema

find . -name "*.xml" -type f -exec xmllint --noout --nowarning --schema ./modules/validation/tei_all.xsd '{}' \; 2>output.txt

claudius108

gs -sDEVICE=pdfwrite    -dCompatibilityLevel=1.4    -dPDFSETTINGS=/prepress    -dNOPAUSE -dQUIET -dBATCH    -sOutputFile=output.pdf input.pdf

claudius108

Download PDF-s for viewing in tmp folder

browser.download.start_downloads_in_tmp_dir

claudius108

Filter out from the Git history all the deleted files

git log --diff-filter=D --summary > deleted-files.txt

Checkout a file that was deleted with a certain commit

git checkout <commit-id>~1 <file/path>

Get the subjects and bodies for all the commits

git --no-pager log --stat --format="===%n%s%-b" | sed '/^$/d' > ../commits-log.txt