diff options
| author |  Damien Martin-Guillerez <dmarting@google.com> | 2016-08-23 11:21:21 +0000 |
|---|---|---|
| committer |  John Cater <jcater@google.com> | 2016-08-23 22:57:08 +0000 |
| commit | ae537ce9e275dd6d006f7b611025d9452895849f (patch) | |
| tree | 8416e4db5cddb5eb34f56e93ef11d2bb8735b672 /src/test/shell | |
| parent | 141b6c2a48353a0a4e2c0debe8f040adb41ab349 (diff) | |
Use path given by which to invoke grep to bypass aliases set by the user
If the user had an alias grep='grep --color=always' it would break the
bash completion, outputting the formatting character. Bypass the user
alias to avoid the effect.
--
MOS_MIGRATED_REVID=131040601
Diffstat (limited to 'src/test/shell')
0 files changed, 0 insertions, 0 deletions