java_home 基本的に最新のjreをインストールせよと言われているのに，arduino IDEは，jre 1.6を要求する．どうしたらいいのかと思ったら，java_homeというコマンドを活用すればよいらしい． MacにJava(JDK)をインストール
Revoking a user ID 放って置こうと決めつつも，気持ち悪いので，トライしてみました^^; delete bad UID from key on keyserver? どうやら，Keyserver(s)からダウンロードされるpublic keyには，当該のメールアドレス(user ID)は，[ revoked]となっているので，問題ない1おそらく，そのメールアドレスを宛先に選択してもメールが送れない．のかもしれません． 結局表示されるけどそのままにしておきます．というか，そのままにするしかなさそうです． あるいは，key本体をrevokeして，新しく作り直すか．
