<<< Date Index >>>     <<< Thread Index >>>

Re: Difference between 'push' and 'exec', is there any?



On Wed, Aug 08, 2007 at 06:38:33PM +0100, Chris G wrote:
> Is there any actual difference between the 'push' and 'exec' commands?
> 
> Also, if I source something like the following:-
> 
>     set mbox_type=maildir
>     exec save-message
>     set mbox_type=mbox  
> 
> It doesn't do what I expect as the message *doesn't* get saved in
> maildir format.  Presumably this is something to do with the order in
> which mutt executes the things it finds in a file which is sourced.
> Is there any information on this anywhere?
> 
> Would a sourced file containing a series of 'push' commands execute
> them in the order expected (i.e. sort of backwards).  For example if I
> source the following:-
> 
>     push ":set mbox_type=mbox"
>     push save-message
>     push ":set mbox_type=maildir"
> 
> Will it switch to maildir, save a message and then switch back to
> mbox?
> 
No it won't, pity!  It takes the ":set mbox_type=mbox" as the name of
the file to save to.  (Of course the above needs ^M in the set
commands but still).

-- 
Chris Green