From bb1b5f5f863fca0e85764f5b35c117f5724d15c0 Mon Sep 17 00:00:00 2001 From: Conley Owens Date: Mon, 13 Aug 2012 13:11:18 -0700 Subject: Allow projects to be specified as notdefault Instead of every group being in the group "default", every project is now in the group "all". A group that should not be downloaded by default may be added to the group "notdefault". This allows all group names to be positive (instead of removing groups directly in the manifest with -default) and offers a clear way of selecting every project (--groups all). Change-Id: I99cd70309adb1f8460db3bbc6eff46bdcd22256f --- docs/manifest-format.txt | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'docs') diff --git a/docs/manifest-format.txt b/docs/manifest-format.txt index 338e0219..f499868c 100644 --- a/docs/manifest-format.txt +++ b/docs/manifest-format.txt @@ -184,11 +184,12 @@ the default element is used. Attribute `groups`: List of groups to which this project belongs, whitespace or comma separated. All projects belong to the group -"default", and each project automatically belongs to a group of -it's name:`name` and path:`path`. E.g. for +"all", and each project automatically belongs to a group of +its name:`name` and path:`path`. E.g. for , that project definition is implicitly in the following manifest groups: -default, name:monkeys, and path:barrel-of. +default, name:monkeys, and path:barrel-of. If you place a project in the +group "notdefault", it will not be automatically downloaded by repo. Element annotation ------------------ -- cgit v1.2.3-54-g00ecf