On Sun, Apr 16, 2023, at 8:47 PM, Dmitry Gutov wrote: > > > On Sun, Apr 16, 2023, at 8:26 PM, Eli Zaretskii wrote: >> > Date: Sun, 16 Apr 2023 20:14:24 +0300 >> > From: "Dmitry Gutov" >> > Cc: luangruo@yahoo.com, 61667@debbugs.gnu.org, gregory@heytings.org >> > >> > 'C-x p g' doesn't find any matches for this input? That's odd. >> >> Which external commands it is supposed to run? > External? 'git ls-files' followed by piping the list to 'grep'. Piping using 'xargs', that is.