Compiling VMware Player Kernel Modules

VMware does not seem to play nice with Ubuntu 13.04 and its 3.8 linux kernel…

Every time the kernel upgrades, you have to issue the following command to get VMware to recompile all its modules for the kernel in order for it to work again:

sudo vmware-modconfig --console --install-all

I put this here as a reminder to myself, and hopefully it will help anyone else struggling with this, although I’ve since switched to Virtualbox 4.3 since it doesn’t seem to have any of these issues.