repoでハマったのでメモ

repoでファイルを取り込もうとしたところ、下のようなエラーが出て動きませんでした。
$ repo sync したときです。

IO Error:[Errno 2] No Such file or directory:'/home/<>/.repo/manifest.xml'

聞いたところによると、.repoは $ repo init ~をやったときに作られるデータベースファイルとのこと。
$ repo init ~を実行したカレントディレクトリに、.repoが作成される。
そのディレクトリにサブディレクトリを切って$ repo init すると、上位の.repoが強いのでパスに関するエラーが出るとの事。

本当かどうか確認していませんが、上位ディレクトリの.repoを削除すると動きました。
ubuntuの環境で発生しました。