From 4e5315b0e5a3bb0581024ee241a0bd42335e86bc Mon Sep 17 00:00:00 2001 From: Matthias Beyer Date: Mon, 1 Oct 2018 12:53:01 +0200 Subject: [PATCH] Add ID reporting in imag-grep --- bin/core/imag-grep/src/main.rs | 4 ++++ 1 file changed, 4 insertions(+) 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); }