diff options
Diffstat (limited to 'subcmds/grep.py')
| -rw-r--r-- | subcmds/grep.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/subcmds/grep.py b/subcmds/grep.py index 49feaf6b..9a4a8a36 100644 --- a/subcmds/grep.py +++ b/subcmds/grep.py | |||
| @@ -82,8 +82,11 @@ contain a line that matches both expressions: | |||
| 82 | if value is not None: | 82 | if value is not None: |
| 83 | pt.append(value) | 83 | pt.append(value) |
| 84 | 84 | ||
| 85 | def _CommonOptions(self, p): | ||
| 86 | """Override common options slightly.""" | ||
| 87 | super()._CommonOptions(p, opt_v=False) | ||
| 88 | |||
| 85 | def _Options(self, p): | 89 | def _Options(self, p): |
| 86 | super()._Options(p) | ||
| 87 | g = p.add_option_group('Sources') | 90 | g = p.add_option_group('Sources') |
| 88 | g.add_option('--cached', | 91 | g.add_option('--cached', |
| 89 | action='callback', callback=self._carry_option, | 92 | action='callback', callback=self._carry_option, |
