All of lore.kernel.org
 help / color / mirror / Atom feed
* Git-Mediawiki : cloning a set of pages
@ 2011-06-08 11:19 Claire Fousse
  2011-06-08 15:19 ` Jeff King
  2011-06-08 17:14 ` Git-Mediawiki : cloning a set of pages Jakub Narebski
  0 siblings, 2 replies; 25+ messages in thread
From: Claire Fousse @ 2011-06-08 11:19 UTC (permalink / raw)
  To: git; +Cc: Sylvain Boulme, matthieu.moy

Hi,

I work on the Git-Mediawiki project.
(http://lists-archives.org/git/746959-gate-between-git-and-mediawiki-remote-helpers.html).

I'm trying to establish a feature to clone and work on some pages of a
mediawiki instead of all of them.

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.
The 2 solutions we think of are :
	* git clone mediawiki::http://yourwiki.com$$page1$$page2 ...
	Where $$ is a separator still to be determined. It should not be
something which could appear in the title of a page.
	It is a simple way to proceed but it becomes horrible when you want
to clone many pages.

	* write a git-mw-clone script which asks the user to enter a set of
pages  and may store this set of
	titles in the git config. This script should then call git-clone
which will call the remote-mediawiki functions.
	git-mw-clone would clone the entire wiki and git-mw-clone --pages
would ask the user to enter their set.
	The problem here is that a not git-like command is required.

What do you think about those solutions? Do you think of a better one?

Thank you very much.

--
Claire Fousse
Grenoble INP - Ensimag
claire.fousse@ensimag.imag.fr

^ permalink raw reply	[flat|nested] 25+ messages in thread

end of thread, other threads:[~2011-06-13 19:22 UTC | newest]

Thread overview: 25+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-06-08 11:19 Git-Mediawiki : cloning a set of pages Claire Fousse
2011-06-08 15:19 ` Jeff King
2011-06-08 17:04   ` Sverre Rabbelier
2011-06-08 17:13     ` Jeff King
2011-06-09 15:50   ` Jeff King
2011-06-09 15:51     ` [PATCH 01/10] strbuf_split: add a max parameter Jeff King
2011-06-13 17:30       ` Junio C Hamano
2011-06-13 19:20         ` Jeff King
2011-06-09 15:51     ` [PATCH 02/10] fix "git -c" parsing of values with equals signs Jeff King
2011-06-09 15:52     ` [PATCH 03/10] config: die on error in command-line config Jeff King
2011-06-09 15:52     ` [PATCH 04/10] config: avoid segfault when parsing " Jeff King
2011-06-13 17:30       ` Junio C Hamano
2011-06-13 19:22         ` Jeff King
2011-06-09 15:54     ` [PATCH 05/10] strbuf: allow strbuf_split to work on non-strbufs Jeff King
2011-06-09 15:55     ` [PATCH 06/10] config: use strbuf_split_str instead of a temporary strbuf Jeff King
2011-06-09 15:55     ` [PATCH 07/10] parse-options: add OPT_STRING_LIST helper Jeff King
2011-06-09 15:55     ` [PATCH 08/10] remote: use new OPT_STRING_LIST Jeff King
2011-06-09 15:56     ` [PATCH 09/10] config: make git_config_parse_parameter a public function Jeff King
2011-06-09 15:57     ` [PATCH 10/10] clone: accept config options on the command line Jeff King
2011-06-09 17:10       ` Bert Wesarg
2011-06-09 17:12         ` Jeff King
2011-06-09 20:56           ` Jeff King
2011-06-09 22:34       ` Matthieu Moy
2011-06-08 17:14 ` Git-Mediawiki : cloning a set of pages Jakub Narebski
2011-06-09  9:06   ` Claire Fousse

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.