Gnome 3.12: Add VirtualBox machine to gnome's activities and dash

Specific virtual machines can be launched directly from gnome activities or gnome dash without the need to start standard Virtual Box GUI. For this we need to create desktop files and place them in our local applications folder, i.e., /.local/share/applications.
Example of a desktop file starting virtual machine called w7 is as follows (file name w7.desktop)

	[Desktop Entry]
	Encoding=UTF-8
	Version=1.0
	Name=w7
	Comment=Starts the VirtualBox machine w7
	Type=Application
	Exec=/usr/lib/virtualbox/VirtualBox --comment "w7" --startvm "25e911a6-7bae-422a-84c2-30ced68d701d"
	Icon=w7.png

view raw w7.desktop hosted with ❤ by GitHub

These files can be created manually, but also using Virtual Box GUI. Once we have these files, it is enough just to copy them into /.local/share/applications and they will be e immediately available in the gnomes activities. From the we can just drop and drag them to dash.

If we want to create them manually, we can use the example from the above. The ids of the virtual machines can be obtained using the following vboxmanage list vms
"w7" {25e911a6-7bae-422a-84c2-30ced68d701d}