diff options
| author | Matthias Beyer <mail@beyermatthias.de> | 2018-10-01 12:53:01 +0200 |
|---|---|---|
| committer | Matthias Beyer <mail@beyermatthias.de> | 2018-11-06 20:33:30 +0100 |
| commit | 4e5315b0e5a3bb0581024ee241a0bd42335e86bc (patch) | |
| tree | 842dd616982c05116a12bbcc9ab5ea4068494a35 /bin/core/imag-grep/src | |
| parent | ff809a3750ce98cafa3d655ebd60945a6f5dba13 (diff) | |
Add ID reporting in imag-grep
Diffstat (limited to 'bin/core/imag-grep/src')
| -rw-r--r-- | bin/core/imag-grep/src/main.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/bin/core/imag-grep/src/main.rs b/bin/core/imag-grep/src/main.rs index 223849c9..e9db9b7b 100644 --- a/bin/core/imag-grep/src/main.rs +++ b/bin/core/imag-grep/src/main.rs @@ -122,5 +122,9 @@ fn show(rt: &Runtime, e: &Entry, re: &Regex, opts: &Options, count: &mut usize) let _ = writeln!(rt.stdout(), "").to_exit_code().unwrap_or_exit(); *count += 1; } + + let _ = rt + .report_touched(e.get_location()) + .map_err_trace_exit_unwrap(1); } |