|
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.
|