".arduino15"の続報。 Ardino IDEが指定する設定ファイルに直接ボードマネージャーを書いてしまえば一々GUI開かないで良いんじゃないかという考察 実際のところ Arduino IDEの指定するtxtをみると、こんな感じの記述が。 board=uno browser=mozilla build.ve…