repo and manifest directories

34 views
Skip to first unread message

Warren Turkal

unread,
Dec 10, 2013, 5:37:19 PM12/10/13
to Repo and Gerrit Discussion
Repo experts,

Is there a default name for a file that is used when a directory is specified for a manifest?

For example, let's say I type the following:
repo init -u <some_url> -m a_test

where "a_test" is a directory. Will repo append some default filename?

My use case is something like the this. We have a manifest that is currently a file. Let's say it's called "a_test". We would like to change "a_test" to being a directory that contains multiple manifests. I would be great if we could more "a_test" to "a_test/default.xml" or something like that that would allow to get the same manifest when I us the "-m a_test" args for repo so that current uses of the "a_test" manifest don't break.

wt
--
Warren Turkal
Site Reliability Engineer | 
w...@ooyala.com | 650-961-3400
www.ooyala.com | blog | @ooyala

Shawn Pearce

unread,
Dec 10, 2013, 5:41:57 PM12/10/13
to Warren Turkal, Repo and Gerrit Discussion
On Tue, Dec 10, 2013 at 2:37 PM, Warren Turkal <w...@ooyala.com> wrote:
>
> Repo experts,
>
> Is there a default name for a file that is used when a directory is specified for a manifest?
>
> For example, let's say I type the following:
> repo init -u <some_url> -m a_test
>
> where "a_test" is a directory. Will repo append some default filename?

No. The name to -m is the name of the XML file. If you omit -m its default.xml.

Warren Turkal

unread,
Dec 10, 2013, 6:02:45 PM12/10/13
to Shawn Pearce, Repo and Gerrit Discussion
Would you be interested in my adding a feature to accept a directory name with an appended "default" or "default.xml" so that changing a manifest file to a directory could be less traumatic?

wt

Warren Turkal

unread,
Dec 10, 2013, 7:46:53 PM12/10/13
to Shawn Pearce, Repo and Gerrit Discussion
BTW, I mean less traumatic in that there would be a reasonable way to transition from a manifest file to a file in a directory with the same name.

Another possible feature would be to have a file at the root of manifest that has aliases. Would that be interesting?

wt

Shawn Pearce

unread,
Dec 10, 2013, 9:10:27 PM12/10/13
to Warren Turkal, Repo and Gerrit Discussion
On Tue, Dec 10, 2013 at 4:46 PM, Warren Turkal <w...@ooyala.com> wrote:
BTW, I mean less traumatic in that there would be a reasonable way to transition from a manifest file to a file in a directory with the same name.

Well, we never envisioned a manifest repository so complex that you needed directories. Or magic layers of indirection to rename a file.

Another possible feature would be to have a file at the root of manifest that has aliases. Would that be interesting?

Have you tried making the old name a symlink to the new name?

 

wt


On Tue, Dec 10, 2013 at 3:02 PM, Warren Turkal <w...@ooyala.com> wrote:
Would you be interested in my adding a feature to accept a directory name with an appended "default" or "default.xml" so that changing a manifest file to a directory could be less traumatic?

wt


On Tue, Dec 10, 2013 at 2:41 PM, Shawn Pearce <s...@google.com> wrote:
On Tue, Dec 10, 2013 at 2:37 PM, Warren Turkal <w...@ooyala.com> wrote:
>
> Repo experts,
>
> Is there a default name for a file that is used when a directory is specified for a manifest?
>
> For example, let's say I type the following:
> repo init -u <some_url> -m a_test
>
> where "a_test" is a directory. Will repo append some default filename?

No. The name to -m is the name of the XML file. If you omit -m its default.xml.



--
Warren Turkal
Site Reliability Engineer | 
w...@ooyala.com | 650-961-3400
www.ooyala.com | blog | @ooyala



--
Warren Turkal
Site Reliability Engineer | 
w...@ooyala.com | 650-961-3400
www.ooyala.com | blog | @ooyala

--
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en
 
---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Reply all
Reply to author
Forward
0 new messages