Simpel bash script for updating MOK keys for VMWare in Ubuntu (and probably other Debian based distrobutions): Typical error occurs when attempting to boot virtual machine in VMWare "Cannot open /dev/vmmon: No such file or directory".
Why automate this process? You may ask. In my case I don't want to make a complete reinstall and I'm not even sure it will work (I guess it has something to do with secure boot). And every time I patch my Debian based system it seems like the MOK keys loss their privileges.
After this setup I just open the terminal and execute the following command (./wm_autoupdate_key.sh) in the terminal, when VMWare complain about "vmmon"
Step 1: Open your terminal en paste the following command (it will get the bash script to your current dir)
$ wget https://raw.githubusercontent.com/rune1979/ubuntu-vmmon-vmware-bash/master/wm_autoupdate_key.sh
Step 2: Make the file executable
$ sudo chmod +x wm_autoupdate_key.sh
Step 3: Execute the script
$ ./wm_autoupdate_key.sh
If everything seems to work out successfully. You should now ($ reboot) your machine and choose "Enroll MOK" in the blue menu and follow the instructions and reboot. After that your VMWare should be up and running again.
Next time: you have patched your OS, just navigate to the script folder in your terminal and execute the script:
$ ./wm_autoupdate_key.sh