Ah well.
I like to keep a little bit of mystery in my code postings.
There's a danger of people getting lazy, and simply copy->pasting everything they find on Google in a root shell. People should instead look at what they're copy->pasting.
This forces users to take a second look at what the commands actually do, before they do anything. Furthermore, IMHO every Linux user should know what "~" and / or "~user" means. I also intentionally, did not start the post with "sudo su -", which you do need.
PS; I do not want to pretend I wrote the patches myself. I just found them with Google and grouped them here. All goodness and badness contained in these patches are the blessing or fault of their respective owner.
PPS: For people finding this thread with Google; these are the exact same patches as should be applied to VMWare Workstation 9.0.2. There seems to be no difference in the modules between version 9.0.2 and 2013 (at least not for the files we're patching).
