Description
If your default python is not 2.7, you run into trouble pretty quickly (while I have 2.7 installed my default is 3.6).
I found that platform.txt can be changed to allow easier setting of the Python executables. While it's not very extensible (given the inelegant way Arduino parses its settings) it allows the user to manually configure things to suit their dev environment. To that end, I moved the following settings to near the top of the file, e.g. (for my installation):
name=ESP32 Arduino
version=0.0.1
tools.esptool.cmd=python27
tools.esptool.cmd.windows=C:\Python27\python.exe
tools.esptool.network_cmd=python27
tools.esptool.network_cmd.windows=C:\Python27\python.exe
compiler.python.cmd=python27
compiler.python.cmd.windows=C:\Python27\python.exe
....
It would be far better to have two new vars (one for Unix, one for Windows) that the others reference but... that's not something Arduino seems to allow.
Whether this file is reordered as above or not, it'd be useful to let people know about this in the documentation (and that the editing must be done with Arduino closed - some of these specific vars can change on the fly, but some of them will not). It's pretty easy and effective - I was up and running in no time once I hardcoded the Windows vars as above (Unix ones updated for illustration).
Thoughts?