Вы можете найти имя вашего текущего файла манифеста в .repo/manifest.xml
.
Вы найдете такой файл:
<?xml version="1.0" encoding="UTF-8"?>
<!--
DO NOT EDIT THIS FILE! It is generated by repo and changes will be discarded.
If you want to use a different manifest, use `repo init -m <file>` instead.
If you want to customize your checkout by overriding manifest settings, use
the local_manifests/ directory instead.
For more information on repo manifests, check out:
https://gerrit.googlesource.com/git-repo/+/HEAD/docs/manifest-format.md
-->
<manifest>
<include name="default.xml" />
</manifest>
Это соответствует repo init -u url -m default.xml
.
Чтобы получить значение в своем терминале, вы можете использовать xmllint
(libxml2-utils
пакет):
xmllint --xpath "string(//include/@name)" .repo/manifest.xml