Recording desktop for creating a movie
Install gtk-recordmydesktop mencoder
Run gtk-recordMyDesktp, record part of screen as ogg. Then convert to mpeg:
mencoder out.ogg -o out.mpeg -ovc lavc -nosound
Converting audio files from ogg to mp3
ogg123 -d wav -f - "$fn.ogg" | lame - "$fn.mp3"
Tools
maketex.py: Used for writing LaTeX which uses programming examples frequently. It is quite cumbersome to wrap code examples in verbatim environment and makes your LaTeX code unreadable. maketex.py converts your latex code by wrapping indented blocks of text into verbatin environment.
LoggingProxy.py: A Python utility to reverse engineer network programs by transparently logging network connections.
texindex.py: Automatically marks index terms in a LaTeX source file, where index terms are taken from a text file with special format. An example index terms file can be found here.