martintoft.dk (my old site!)
Welcome
About me
Software
Projects
Books etc.
Stuff
Links
CV
Old work
Work
Wishlist
Vim
OpenBSD

Stuff

YouTube videos

My page with cool YouTube videos.

My personal presentation tips

Read them here and get offended :-)

My custom filters for Adblock Plus

Adblock Plus is a nice add-on for Mozilla Firefox that blocks advertisements. I have created some custom filters that blocks most advertisements found on Danish sites. Feel free to download them and import them into your filter list. Note that they might be a bit too conservative for your taste, as they block Flash objects and some statistics services. You will still need to subscribe to one of the big lists, e.g. "EasyList (USA)".

How to change the default character encoding in GNOME Terminal

This recipe has been tested in Ubuntu 8.04, 8.10 and 9.04. The encoding "en_DK.ISO-8859-1" is used as an example.

First you need to install the encoding/character set/locale/whatever. Add the line "en_DK.ISO-8859-1 ISO-8859-1" to the file /var/lib/locales/supported.d/local using your favorite text editor. Run "sudo dpkg-reconfigure locales".

Now, create an icon in GNOME's menu bar for starting your Frankenstein terminal:

1. Right click on the menu bar and choose "Add to Panel".
2. Add a "Custom Application Launcher".
3. Write "Terminal" in the Name field and "env LANG=en_DK.ISO-8859-1 gnome-terminal --disable-factory" in the Command field. If you want a terminal icon, use "/usr/share/icons/gnome/scalable/apps/utilities-terminal.svg".

Voila, now you can start a GNOME Terminal which has ISO-8859-1 encoding as its default encoding.