[lang:ja] "repository error"の解決策 (非公式)

2014年11月10日頃から、"repository error"が出るようになりました。
暫定ですが、その解決方法が分かりましたのでメモします。

 2014年11月11日 午前1時ごろ、mbed IDE側で修正されたようです。よかった。

原因

  • おそらく、mbedのホスト名の変更によるもの。

対応方法

キャプチャー

  • Statusが "repository error" になっています。Revisions を開きます。 /media/uploads/ban4jp/repo-error1.png
  • 画面下部のURL、右の編集ボタンを押します。 /media/uploads/ban4jp/repo-error2.png
  • URLが 「http://mbed.org/~」 になっています。これを 「http://developer.mbed.org/~」 に書き換えます。 /media/uploads/ban4jp/repo-error3.png
  • 書き換えました。 /media/uploads/ban4jp/repo-error4.png
  • OKすると、URLの左側の表記が "Remote Changes for " に変わります。 /media/uploads/ban4jp/repo-error5.png
  • Statusも正常に戻りました。 /media/uploads/ban4jp/repo-error6.png


Please log in to post comments.