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

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



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