Documentation request for upload over the network

[jantje]

https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5-3rd-party-Hardware-specification
does not specify how the upload over the network should be implemented. I'm willing to add this info but I fail to understand the implementation sufficiently to feel comfortable to document

For instance avr patform.txt states
tools.avrdude.network_cmd={runtime.tools.arduinoOTA.path}/bin/arduinoOTA tools.avrdude.upload.network_pattern="{network_cmd}" -address {serial.port} -port {upload.network.port} -sketch "{build.path}/{build.project_name}.hex" -upload {upload.network.endpoint_upload} -sync {upload.network.endpoint_sync} -reset {upload.network.endpoint_reset} -sync_exp {upload.network.sync_return}

Do I have to see this like the Automatic property override for specific OS; if present and network is used for upload, overrule default by this value? If so why is it not .network at the end of the key?
I feel there is also a need to document why we use "_" as separator for network and not the normal ".".

Thanks
jantje

[facchinm]

Hi @jantje ,
the network_cmd (for non ssh network uploads) was introduced with the Yun shield and only documented through examples (our fault).
I believe that https://github.com/esp8266/Arduino friends could help in writing this entry since they are using it extensively.