Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 06:00:15 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add a './mach grep' command. [Issue #5838]

Browse source
This commit is contained in:
Dhananjay Nakrani 2015-04-25 10:03:14 -07:00
parent 50eb08bcf7
commit 27943c0ea5
1 changed files with 13 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

13
python/servo/devenv_commands.py
View file

@ -76,3 +76,16 @@ class MachCommands(CommandBase):
category='devenv') category='devenv')
def rust_root(self): def rust_root(self):
print(self.config["tools"]["rust-root"]) print(self.config["tools"]["rust-root"])
@Command('grep',
description='`git grep` for selected directories.',
category='devenv')
@CommandArgument(
'params', default=None, nargs='...',
help="Command-line arguments to be passed through to `git grep`")
def grep(self, params):
if not params:
params = []
grep_paths = [path.join(self.context.topdir, 'components'),
path.join(self.context.topdir, 'ports')]
return subprocess.call(["git"] + ["grep"] + params + ['--'] + grep_paths, env=self.build_env())