致命：无法查找 android.kernel.org（端口 9418）（名称或服务未知）答案

【问题标题】：fatal: Unable to look up android.kernel.org (port 9418) (Name or service not known)致命：无法查找 android.kernel.org（端口 9418）（名称或服务未知）
【发布时间】：2011-10-03 14:42:38
【问题描述】：

repo 同步失败并显示以下消息：

repo init -u git://android.kernel.org/platform/manifest.git
   Getting repo ...
   from git://android.kernel.org/tools/repo.git
   fatal: Unable to look up android.kernel.org (port 9418) (Name or service not known)

我知道 kernel.org 已被黑客入侵，源代码现在位于 github 下 http://www.github.com/android，但我收到了上面报告的消息

谁能帮帮我？

【问题讨论】：

地址改成 git://github.com/android/platform_manifest.git 怎么样？
把地址改成github不行。

标签： android linux git repository

【解决方案1】：

整个 kernel.org 因维护而停机。我希望它会尽快启动并运行。

【讨论】：

【解决方案2】：

我找到了如何从omapzoom.org mirror 获取资源的说明。它对我有用。

【讨论】：