The world according to Robin

A techno-related blog with tips and tricks, and the occasional rave about… anything!

Browsing Posts in Ubuntu

After installing Ubuntu, Kubuntu, Edubuntu, etc. in parallel on my laptop, my Opera browser started misbehaving when logged in using the Ubuntu desktop environment. There was a problem with rendering, including the closing of tabs leaving ghostly after-images, etc.However, it worked fine when using the KDE Plasma environment in Kubuntu. It took me a long […]

After upgrading to Ubuntu 10.4 LTS (Lucid Lynx) I was having a problem with my Ubuntu One profile. Clicking the Me Menu at the top right corner and choosing Ubuntu One showed an empty profile (unknown name, email, etc.). I was able to log in to my Ubuntu One website and thinking the problem was […]

If you find that your laptop touchpad is not working after upgrading to Ubuntu 8.10 Intrepid, it may be that your SHMConfig is not enabled. ┬áThe official instructions are to open a terminal and enter the following command: Then put this into the file (which was empty in my case): After a reboot, your touchpad […]

Rip and shrink copy-protected DVDs

No comments

When you buy a DVD movie at the shop you would like the opportunity to back it up. However, due to the built-in copy protection, this might not be a simple task if you do not have Ubuntu with k9copy and K3b installed. k9copy is able to break the copy protection and make a DVD […]

Get things done with Gnome Do


Gnome Do is a quicklauncher for Linux. Although the name implies it is a Gnome application, it apparently works just as well in XFCE4 or KDE. Similar to the search feature of Opera (which remembers visited websites and content), Do allows you to quickly search for items in your desktop environment and perform useful actions […]

A common problem with viruses is that they are often extremely difficult to remove. Most of the time, you easily understand that there is something strange about your Windows box (apart from the usual Windows behaviour, that is :D) , so you run a virus scan and indeed, confirm your worry that you have been […]

There are several reasons you should install Ubuntu on a USB flash drive. First of all, a USB memory stick is easier to bring around than a Live CD if you need to install Ubuntu on a computer. But more importantly, by installing the persistent version, not only can you use your USB as a […]

Everyone knows it is a good idea to backup your data. However, the good ol’ copy’n’paste routine is time consuming, inefficient, and prone to errors. By using rsync, you can achieve efficient synchronisation of files as only the change in data will be transferred. For example, you might want to synchronise your home directory, /home/username/, […]

After having used VirtualBox for a while, the actual size of your virtual disk image (VDI) may have grown to become very close to the virtual size. That is, even if your guest machine system reports that it only uses a small amount of disk space, its VDI image filesize is considerably larger. In general, […]

Changing keyboard shortcuts in Ubuntu is fairly easy. First, check a rather limited list of commands by opening System -> Preferences -> Keyboard Shortcuts. If the task you want to assign a keyboard shortcut to is listed, simply change or assign a desired shortcut to the task and you are done. However, if you are […]