As we have now lots of repositories: https://gerrit.wikimedia.org/r/#admin,projects
I'm sharing a nifty script to clone them all at once. http://svn.wikimedia.org/viewvc/mediawiki/trunk/tools/code-utils/clone-all.p... (edit $skipRepositories at the top to ignore another set, such as integration/*)
Cool thanks Platonides! I was wondering about something like this yesterday. I appreciate the irony of that script living in SVN :p
On Thu, Mar 22, 2012 at 1:44 PM, Platonides Platonides@gmail.com wrote:
As we have now lots of repositories: https://gerrit.wikimedia.org/r/#admin,projects
I'm sharing a nifty script to clone them all at once.
http://svn.wikimedia.org/viewvc/mediawiki/trunk/tools/code-utils/clone-all.p... (edit $skipRepositories at the top to ignore another set, such as integration/*)
Wikitech-l mailing list Wikitech-l@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/wikitech-l
On Thu, Mar 22, 2012 at 1:53 PM, Arthur Richards arichards@wikimedia.orgwrote:
Cool thanks Platonides! I was wondering about something like this yesterday. I appreciate the irony of that script living in SVN :p
I've started on a MediaWiki extension to assist in fetching extensions as well, stealing a couple bits from that script. :)
Since I haven't yet fully grokked setting up new exts in gerrit it's sitting on github at the moment: https://github.com/brion/MediaWiki-ExtensionFetcher
Currently it only has CLI interface, usable like so:
php extensions/ExtensionFetcher/maintenance/listExtensions.php
php extensions/ExtensionFetcher/maintenance/clone.php Math clones 'Math' into your extensions/Math folder, over anonymous https. Or to clone initially with your default ssh credentials:
php extensions/ExtensionFetcher/maintenance/clone.php --developer Math
If the extensions folder is writable by the web server user, this could be extended with a web interface for each search-and-click fetching... An --all option would probably not be hard to add either, for those that want such things!
-- brion
On Sun, Mar 25, 2012 at 3:24 PM, Brion Vibber brion@pobox.com wrote:
I've started on a MediaWiki extension to assist in fetching extensions as well, stealing a couple bits from that script. :)
Since I haven't yet fully grokked setting up new exts in gerrit it's sitting on github at the moment: https://github.com/brion/MediaWiki-ExtensionFetcher
Now with a primitive GUI Special:ExtensionFetcher; if extensions/ is writable it can do anonymous clones into there. You'll have to manage LocalSettings.php yourself for now.
-- brion
wikitech-l@lists.wikimedia.org