Re: Git-Mediawiki : cloning a set of pages
- From
- Claire Fousse <claire.fousse@ensimag.imag.fr>
- Date
- Jun 9, 2011, 09:06 UTC
- Message-ID
- <BANLkTin3eEJfXfB7aadxue-QMduimvh-tg@mail.gmail.com>
- In-Reply-To
- <m3lixcdz67.fsf@localhost.localdomain>
Show 17 quoted lines
>> The problem is not the feature in itself but the way you call it. >> Just so you remember, here is the command to clone the mediawiki : >> git clone mediawiki::http://yourwiki.com >> >> As it is now, git clone does not implement a way to define a set of pages. > [...] > > Well, what you need to do is to implement API for partial _clone_ (we > have some SPI for partial checkout, but that is slightly different > beast). > > Currently we have --depth=<n> to limit depth of history when cloning, > and "git remote add -t <branch>" (repeated if necessary) to consider > only a subset of branches, though unfortunately not in "git clone" > yet. > > Not what you wanted to hear, I guess... :-(
Yes, not really what I wanted to hear, but I had the feeling it would go this way =).
Our school project ends tomorrow, so starting tomorrow we will have less time to work on this.
We chose to implement the first solution with ##: git clone mediawiki::http://yourwiki.com##page1##page2.. This way that feature can be used for now, and It will be really simple to change the command later.
-- Claire Fousse Grenoble INP - Ensimag 2A Télécommunication claire.fousse@ensimag.imag.fr