Re: bash does not jump where it is supposed to jump

2008-01-19 Thread Jan Schampera
William Tambe wrote: > The code below should only print end > [ "test" = "test" ] && { > # after the false command bash should jump directly to echo end > # but instead run echo echo "test != test" > false > } || { > echo "test != test" > } > > echo end It's okay like that, it's

Re: bash does not jump where it is supposed to jump

2008-01-19 Thread Andreas Schwab
William Tambe <[EMAIL PROTECTED]> writes: > [ "test" = "test" ] && { > # after the false command bash should jump directly to echo end > # but instead run echo echo "test != test" > false > } || { > echo "test != test" > } true && false is false, thus the echo is executed.

Re: Comparison failure

2008-01-19 Thread Jan Schampera
Chet Ramey wrote: > Dave Rutherford wrote: > >> Now, "[[" isn't very well documented, so I tend not to use it, > > I'm always interested in suggestions for improving the bash documentation. > Can you tell me what's unclear about the existing description of > `[['? > > Chet > The documentation