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