On Wed, Aug 08, 2007 at 08:30:14PM +0200, Rado S wrote: > =- Chris G wrote on Wed 8.Aug'07 at 18:48:20 +0100 -= > > > On Wed, Aug 08, 2007 at 06:38:33PM +0100, Chris G wrote: > > > Is there any actual difference between the 'push' and 'exec' > > > commands? > > Yes, see wiki -> guide -> /Syntax Aha, thanks, useful that bit. > (or RTFM ;) I had already R'ed the M but it didn't really clarify things, the wiki is more useful. -- Chris Green