ソースがダウンロードできない

NativeActivityの件は解決済みだが……何が原因でどう解決したのかを憶えていない。
すぐにメモしておけばよいものを……

さて、今度はAndroidのソースがダウンロードできない。

$curl http://android.git.kernel.org/repo > repo

でひたすら

curl: (6) Couldn't resolve host 'android.git.kernel.org'

と出て終わり。

名前解決が失敗しているということだが、正直よく分からない。

プロキシ経由で利用している場合の解決策などは出てくるが、プロキシなんぞ噛ませていないし、はてさてどうしたものやら。

Windowsだからなんかあんのかと思ってVirtualBox入れてUbuntu入れて…ってやってみたけどダメ。同じ。

ルータか……？