self
15 October 2008 | 0 Comments
The story of Witold Pilecki should be more widely known. Since this is the only version seemingly available in English on the internet, I decided to clean it up a bit so it is easier to read. You can download the PDF I have created here. It needs a bit more cleaning up but I [...]
Tagged in content, created, latex, pdf, wwii
tips
30 April 2008 | 0 Comments
Builds and displays your current LaTeX document, and removes all the temporary file spam. #!/bin/bash TMPDIR=$(mktemp -td) rubber -d –into "$TMPDIR" "$GEDIT_CURRENT_DOCUMENT_NAME" && mv "$TMPDIR/${GEDIT_CURRENT_DOCUMENT_NAME%tex}pdf" "$GEDIT_CURRENT_DOCUMENT_DIR" if [ $? -eq 0 ] then evince "${GEDIT_CURRENT_DOCUMENT_NAME%tex}pdf" & fi rm -rf "$TMPDIR"
Tagged in bash, gedit, latex, Linux, snippet, useful