Monthly Archives: May 2012

Update kernel patch for VMware Player 4.0.3

As I stated some days ago, after upgrading to Ubuntu Precise Pangolin, aka 12.04 LTS, I had a minor obstacle with VMware products. Today, VMware offered to upgrade to Player 4.0.3 due to security-related reasons.

Initially, I thought that this update might have the patch for kernel 3.2.0 integrated but sadly that is not the case.

'Hacking' the kernel patch

My first intuitive try to run the existing patch against the sources of VMware Player 4.0.3 failed, as the patch by Stefano Angeleri (weltall) is originally written explicitely against Workstation 8.0.2 and Player 4.0.2.

But this is nothing to worry about seriously. Just fire up your favourite editor of choice and modify the version signature for VMware Player, like so:


And update line 8 for the new version:


Save the shell script and run it as super-user (root):

sudo ./

In case that you previously patched your VMware sources you have to remove some artifacts beforehand. Otherwise, the patch script will inform you like so:

/usr/lib/vmware/modules/source/.patched found. You have already patched your sources. Exiting

In that case, simply remove the 'hidden' file and run the shell script again:

sudo rm /usr/lib/vmware/modules/source/.patched
sudo ./

To finalise your installation either restart the vmware service or reboot your machine. On first start VMware will present you their EULA which you have to accept, and everything gets back to normal operation mode. Currently, I would assume that in case of VMware Workstation 8.0.3 you can follow the same steps as just described.

Update on VMware Player 4.0.4

Please read this article for VMware Player 4.0.4

Update on VMware Player 5.0.0

Please read this article for VMware Player 5.0.0 in Ubuntu 12.10


Vim | Templates

En ce moment je fais quelques pages html, pour tenter de garder une ligne standard de format, je me suis dit qu’un template était la bonne solution.

Mais comment utiliser des template avec VI ?
… Rien de plus facile !
En Trois actes:

  • Créer un répertoire Template
  • Mapper les noms de fichiers avec les Templates
  • Rulez !

Continue reading