Allow mirror to be created in directories specified by 'path' attribute
In some cases, especially when local manifest files exist, users may want
to force the mirrored repositories to be created in folders according to
their 'path' attribute in the manifest, rather than according to the name
of the repositories.
To enable this functionality for specified mirror, add a new attribute
'force-path' for that project in the manifest, set its value to 'true'.
Change-Id: I61df8c987a23d84309b113e7d886ec90c838a6cc
Signed-off-by: Scott Fan <fancp2007@gmail.com>
diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt
index f4629a5..59f6a2f 100644
--- a/docs/manifest-format.txt
+++ b/docs/manifest-format.txt
@@ -57,6 +57,7 @@
<!ATTLIST project sync-s CDATA #IMPLIED>
<!ATTLIST project upstream CDATA #IMPLIED>
<!ATTLIST project clone-depth CDATA #IMPLIED>
+ <!ATTLIST project force-path CDATA #IMPLIED>
<!ELEMENT annotation (EMPTY)>
<!ATTLIST annotation name CDATA #REQUIRED>
@@ -227,6 +228,12 @@
project. If specified, this value will override any value given
to repo init with the --depth option on the command line.
+Attribute `force-path`: Set to true to force this project to create the
+local mirror repository according to its `path` attribute (if supplied)
+rather than the `name` attribute. This attribute only applies to the
+local mirrors syncing, it will be ignored when syncing the projects in a
+client working directory.
+
Element annotation
------------------
diff --git a/manifest_xml.py b/manifest_xml.py
index 4eef748..51d51b9 100644
--- a/manifest_xml.py
+++ b/manifest_xml.py
@@ -690,6 +690,10 @@
default_groups = ['all', 'name:%s' % name, 'path:%s' % relpath]
groups.extend(set(default_groups).difference(groups))
+ if self.IsMirror and node.hasAttribute('force-path'):
+ if node.getAttribute('force-path').lower() in ("yes", "true", "1"):
+ gitdir = os.path.join(self.topdir, '%s.git' % path)
+
project = Project(manifest = self,
name = name,
remote = remote.ToRemoteSpec(name),
