wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Improve grepper documentation.

Browse source
This commit is contained in:
Gabriel Wicke 2012-02-28 14:24:37 +00:00
parent b767e03449
commit ebcfc2c7a1
Notes: Gabriel Wicke 2012-02-28 14:24:37 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/112596
1 changed files with 13 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
tests/parser/dumpGrepper.js
View file

@ -1,3 +1,9 @@
/**
* A simple dump grepper based on the DumpReader module.
*
* @author Gabriel Wicke <gwicke@wikimedia.org>
*/
var dumpReader = require('./dumpReader.js'),
events = require('events'),
optimist = require('optimist'),
@ -22,18 +28,23 @@ DumpGrepper.prototype.grepRev = function ( revision ) {
module.exports.DumpGrepper = DumpGrepper;
if (module === require.main) {
var argv = optimist.usage( 'Usage: $0 <regexp>', {
var argv = optimist.usage( 'Usage: zcat dump.xml.gz | $0 <regexp>', {
'i': {
description: 'Case-insensitive matching',
'boolean': true,
'default': false
},
'color': {
description: 'Highlight matched substring using color',
description: 'Highlight matched substring using color. Use --no-color to disable.',
'boolean': true,
'default': true
}
} ).argv;
if( argv.help ) {
optimist.showHelp();
process.exit( 0 );
}
var flags = '';
if(argv.i) {