#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 cameron):
{{{
On 09Oct2015 14:49, Mutt <fl...@mutt.org> wrote:
This isn't trivial. At all.
How thorough should the parse be?
| cat $(< other-comman TAB
Shall we support suitable TAB completion at arbitrarily deep shell syntax
levels? Because that _is_ what you're asking for. And you're asking for
bash's
completion specificly. I use zsh, with far more extensible completion
mode,
which if it were present I would prefer (I even prefer zsh's filename
completion over bash's crippled completion).
My point here is that what you're asking for isn't nearly as easy or
simple as
you seem to think it is.
Cheers,
Cameron Simpson <c...@zip.com.au>
}}}
--
Ticket URL: <http://dev.mutt.org/trac/ticket/3786#comment:10>
Mutt <http://www.mutt.org/>
The Mutt mail user agent
