* On Thu, Oct 08, 2015 03:21PM -0000 Mutt (fl...@mutt.org) wrote: > #3786: "|" pipe command should use $PATH > Currently when we type "|", we have to give it the full path, /usr/bin/cat > etc. > > It should use $PATH instead, and even have TAB completion perhaps.
Works for me. $PATH is used. Michael -- PGP-Key-ID: EEE7D043 Jabber: in...@jabber.de
