No, I haven't. I guess I don't plan on it either. Have you heard of platformio?
It's pretty damn handy. For those that wish, it has a better IDE than Arduino, fetches dependencies as specified, and above all has a great CLI. If you're interested in compiling and uploading binaries from the CLI, I would recommend you have a look at:
I know it doesn't answer your question, but I like to have a proper C++ linter running, letting a computer work for me, documenting exactly what I did to get code compiling and uploading, and to edit code in a proper editor.
A quick start with platformio could be:
pip install platformio
git clone https://github.com/oneyb/template-mysensors-platformio blink
# Do some stuff
$EDITOR platformio.ini src/*cc
# and finally:
pio run -t upload
I hope that helps you to be more efficient. It sure has helped me.