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 […]

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 in […]

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 […]

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 […]