-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
On Monday, September 29 at 01:13 AM, quoth Nicolas Rachinsky:
>> The difference is *when* the command gets executed. With "exec",
>> the function is executed immediately. With "push", it is executed
>> the next time mutt goes into its idle loop (for lack of a better
>> term).
>
> Are you sure about this difference? Do you have any example where you
> can notice it?
Ah! You're absolutely right. Weird. I would have expected that
push <display-message>
exec change-folder
would not produce the exact same behavior as
exec display-message
exec change-folder
... but I just tested it, and they're exactly the same.
I guess the *real* difference is that "exec" protects against typos by
checking to make sure that the argument you give it really is a
function. For example, the following two lines are NOT equivalent:
push <enter> # this works fine
exec enter # this produces an error
And *that* one I tested before spouting off. :)
~Kyle
- --
Power always thinks it has a great soul and vast views beyond the
comprehension of the weak; and that it is doing God's service when it
is violating all his laws.
-- John Adams
-----BEGIN PGP SIGNATURE-----
Comment: Thank you for using encryption!
iEYEARECAAYFAkjhF/8ACgkQBkIOoMqOI16CGwCffGljVMxvprMg/5MSZY5iQ29f
AOUAn3ROkEVH+RTfu5plpK2sqB+IPvds
=69VU
-----END PGP SIGNATURE-----
