Linux etc.

Did this today with these instructions.

It will work if you use pdflatex:
pdflatex file.tex
However, using that method, you cannot include .eps graphics, and bitmap graphics often look bad in your presentation. As an alternative, run:
latex file.tex
followed by
divps file.dvi
and then
ps2pdf file.ps
Note that going directly “dvipdfm file.dvi” does not work for me (does not handle overlays correctly). Sometimes, ps2pdf tries to rotate […]

XEmacs didn’t display umlauts correctly. I guessed this has something to do with the file encoding (the file displayed correctly in a terminal window with nano or “xemacs -nw”). The grey horizontal bar that separates the main buffer from the minibuffer shows the encoding of the current buffer at the very left. The text […]

A really neat feature, probably unknown to many Firefox users: You can create “smart keywords”. For example, I have defined a smart keyword for a Wikipedia search, so now, when I type into the location bar:
wiki: cycle path
it searches Wikipedia for that term (and I end up on the Wikpedia entry for segregated cycle […]

So far, all USB sticks I plugged into the laptop just automatically got mounted. That is, they just show up on the Xubuntu desktop. Today, for the first time one didn’t. The following line solved this problem:
sudo mount -t vfat /dev/sdb1 /mnt
(The /dev/sdb1 may be different for your system.) The drive is then accessible under […]