Raspberry Pi、それもリモート環境だと、お世辞にも便利とはいえないArduino IDEが余計に不便に感じます。 幸い、公式がＣＬＩツールを出してるので、そいつを導入してみます。 実際のところ $ curl -fsSL https://raw.githubusercontent.com/arduino/arduin…