Skip to navigation

Archive for the 'Linux' Category

Moving this blog to

Friday, July 20th, 2007

I have moved this blog to I have redirected to This means you are now reading this on the new domain. Please update your bookmarks. Apologies for any inconvenience.

Importing mysql database from the commandline

Wednesday, July 4th, 2007

I’ll be moving this blog to a different host (unfortunately, because it isn’t easy to get German ISPs to change the DNS settings, I will also move it to the domain at the same time). I can export the database using phpmyadmin, but on the new server I’ll have to import them from the […]

Sed example 2

Monday, June 25th, 2007

Replacing whitespace, lifted directly from the handy collection of sed one-liners at Sourceforge: Delete all leading whitespace from line (tabs and spaces): sed ‘s/^[ \t]*//’ Delete whitespace at end of line: sed ‘s/[ \t]*$//’ Delete leading and trailing whitespace: sed ‘s/^[ \t]*//;s/[ \t]*$//’

Installing Google Earth on Linux (Xubuntu 6.06)

Friday, June 1st, 2007

Google Earth is finally available for Linux — nice. Here’s how to install: wget You’ll see the download progress. When it’s finished, make it executable and run it: chmod 744 GoogleEarthLinux.bin ./GoogleEarthLinux.bin This asks you to agree to the License Agreement, then to confirm the installation directory. I changed this to /home/mpromber/bin/, and then […]

LaTeX and Beamer — steps to produce a .pdf slide presentation

Tuesday, May 29th, 2007

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 Note that going directly “dvipdfm file.dvi” does not work for me (does not handle […]