VMware 6.0.0 tmp directory location change?

[jms]

Is there a config parameter which could be used to direct vmware tmp directory to some other location?

Reason for question is that in my computer home directories are on encrypted partition and this makes all operations to /home//tmp slower. All other applications work well but vmware is sloooooooooow since it uses pipe through tmp directory. I can change this manually by setting TMP and TMPDIR environment variables to e.g. /tmp but this does not solve the problem (I need all files to reside on encrypted partition).

[KevinG]

You could try /etc/vmware/config with tmpDirectory = " /somepath"

But I don't remember if this works with Workstation

[jms]

Did not help. Although vmware service did make it's tmp file to /tmp the Workstation GUI made it's to /home//tmp.

I can make a script which sets the TMP and TMPDIR values to /tmp so this is not a huge problem. However, I would like to have a bit more elegant solution like setting them from GUI or from config.