Arduino IDE ボードマネージャーに外部のボードマネージャを追加する方法

Arduino以外のボードマネージャーを インストールする時詰まったので、 記録しておく ・目的 外部からボードマネージャーを インストールすること。 ・使用したもの mac mini (mac os Sierra) Arduino IDE 1.8.2 ・方法 (1)ボードマネージャーのURLを貼り付ける 以下のサイト…