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

[Chris G <cl@xxxxxxxx>]

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?

-- 
Chris Green