platformIO

platformIOというのがあるらしい。Arduino-IDEでどうも書き込みがうまくいかなくて調べた結果でできたものだが（結局、ST-Linkの接続が理由だと言うのが70%ほどを占めているのだが）、stm32duinoをideにく組み込んだ後だったから、今回のようにすんなりいけるのか、不明。