play all mp3s below a certain directory

(requires mpg123)

In bash, define the function myplay:

function myplay() { tmp=`mktemp`; find "`pwd`/$1" -name "*.mp3" | sort > $tmp; mpg123 -C -@ $tmp; rm $tmp ;}

Then simply use myplay dir/to/music. (This only works with relative paths.)

Download embedded google videos

The Flash SWF player doesn't work so well with Linux, so find the URL in the source code of the HTML page, e.g.
http://video.google.com/googleplayer.swf?docId=1234501631358404955
Replace the front part like this:
http://video.google.com/videoplay?docid=1234501631358404955,
There you can download the video.

vim pdflatex mapping

:map <C-p> :w<CR>:!pdflatex %<CR>