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

mwdeploy@mw1017:~$ ./mymwgrep "HotCat[default]|"
## Public wiki results
orwiktionary        MediaWiki:Gadgets-definition