In mean time I found a reasonable solution for my problem. The vmware-vmrc.exe can be called from the commandline with several parameters. For example with following parameters it will open the vmware session immediately without the need of specifying any credentials.
vmware-vmrc.exe -X -h hostname:8333 -u "username" -p "password" "[standard] ... .vmx"
Important: The "[standard] ... .vmx" value is not just a file name.
- To know this value, you need to visit the webpage of your vmware (e.g. https:// hostname:8333/ui/).
- Next click the button "Configure VM" which will open a tab panel with configuration settings.
- There you will find a setting called "Virtual Machine Configuration File". It often starts with the string "[standard]".
Next, it was really easy to write a little batch file that allows me to pick the desired vmware from a menu.