#3786: "|" pipe command should use $PATH
-----------------------------+----------------------
Reporter: jidanni | Owner: mutt-dev
Type: enhancement | Status: new
Priority: trivial | Milestone:
Component: user interface | Version: 1.5.24
Resolution: | Keywords:
-----------------------------+----------------------
Comment (by jidanni):
And we must poke around, /usr/bin/cat, /bin/cat etc.
--
Ticket URL: <http://dev.mutt.org/trac/ticket/3786#comment:1>
Mutt <http://www.mutt.org/>
The Mutt mail user agent
