VMWare 7.1 – no /dev/vmnet0

A frustrating error with VMWare:
“Ethernet0: can’t open vmnet device /dev/vmnet0”

Solution is to run ‘vmware-netcfg’ and save, then the problem is fixed until next reboot.