mwdeploy@mw1017:~$ ./mymwgrep "HotCat|"
## Public wiki results
alswiki MediaWiki:Gadgets-definition
arwikiquote MediaWiki:Gadgets-definition
arwikiversity MediaWiki:Gadgets-definition
bat_smgwiki MediaWiki:Gadgets-definition
betawikiversity MediaWiki:Gadgets-definition
biwiki MediaWiki:Gadgets-definition
bowiki MediaWiki:Gadgets-definition
brwikimedia MediaWiki:Gadgets-definition
cswikiversity MediaWiki:Gadgets-definition
dewiktionary MediaWiki:Gadgets-definition
diqwiki MediaWiki:Gadgets-definition
dvwiktionary MediaWiki:Gadgets-definition
elwikinews MediaWiki:Gadgets-definition
enwikiversity MediaWiki:Gadgets-definition
fowiki MediaWiki:Gadgets-definition
frwikivoyage MediaWiki:Gadgets-definition
hakwiki MediaWiki:Gadgets-definition
hewikisource MediaWiki:Gadgets-definition
hewikivoyage MediaWiki:Gadgets-definition
hifwiki MediaWiki:Gadgets-definition
hiwiktionary MediaWiki:Gadgets-definition
hsbwiktionary MediaWiki:Gadgets-definition
idwikibooks MediaWiki:Gadgets-definition
idwikiquote MediaWiki:Gadgets-definition
idwikisource MediaWiki:Gadgets-definition
jvwiki MediaWiki:Gadgets-definition
kaawiki MediaWiki:Gadgets-definition
kawiktionary MediaWiki:Gadgets-definition
kmwiki MediaWiki:Gadgets-definition
kowikinews MediaWiki:Gadgets-definition
kowikiquote MediaWiki:Gadgets-definition
kowikisource MediaWiki:Gadgets-definition
kuwiktionary MediaWiki:Gadgets-definition
ltwiki MediaWiki:Gadgets-definition
ltwiktionary MediaWiki:Gadgets-definition
mlwikibooks MediaWiki:Gadgets-definition
mlwikiquote MediaWiki:Gadgets-definition
mlwikisource MediaWiki:Gadgets-definition
mlwiktionary MediaWiki:Gadgets-definition
mwlwiki MediaWiki:Gadgets-definition
nahwiki MediaWiki:Gadgets-definition
ndswiki MediaWiki:Gadgets-definition
pawiktionary MediaWiki:Gadgets-definition
pdcwiki MediaWiki:Gadgets-definition
pswiktionary MediaWiki:Gadgets-definition
ptwikiversity MediaWiki:Gadgets-definition
rowikibooks MediaWiki:Gadgets-definition
rowikinews MediaWiki:Gadgets-definition
rowikivoyage MediaWiki:Gadgets-definition
ruewiki MediaWiki:Gadgets-definition
ruwikibooks MediaWiki:Gadgets-definition
ruwikimedia MediaWiki:Gadgets-definition
sawiki MediaWiki:Gadgets-definition
sawiktionary MediaWiki:Gadgets-definition
shwiktionary MediaWiki:Gadgets-definition
simplewikibooks MediaWiki:Gadgets-definition
simplewikiquote MediaWiki:Gadgets-definition
siwikibooks MediaWiki:Gadgets-definition
siwiktionary MediaWiki:Gadgets-definition
slwikibooks MediaWiki:Gadgets-definition
sowiki MediaWiki:Gadgets-definition
sqwikinews MediaWiki:Gadgets-definition
srwikinews MediaWiki:Gadgets-definition
srwikisource MediaWiki:Gadgets-definition
suwiki MediaWiki:Gadgets-definition
svwikibooks MediaWiki:Gadgets-definition
tenwiki MediaWiki:Gadgets-definition
tkwiki MediaWiki:Gadgets-definition
trwikimedia MediaWiki:Gadgets-definition
trwikinews MediaWiki:Gadgets-definition
trwikiquote MediaWiki:Gadgets-definition
udmwiki MediaWiki:Gadgets-definition
ukwikimedia MediaWiki:Gadgets-definition
uzwiki MediaWiki:Gadgets-definition
vecwiki MediaWiki:Gadgets-definition
(total: 76, shown: 76)
mwdeploy@mw1017:~$ ./mymwgrep "HotCat[default]|"
## Public wiki results
orwiktionary MediaWiki:Gadgets-definition
(total: 1, shown: 1)