On Tue, Aug 24, 2010 at 10:25 AM, Joachim Schmitz
<nospam.jojo@schmitz-digital.de> wrote:
Chris F.A. Johnson wrote:
On Mon, 23 Aug 2010, Dennis Williamson wrote:
If you're writing a Bash-specific script then it's preferable to
use double square brackets (see
http://mywiki.wooledge.org/BashFAQ/031).
if [[ -f $file ]]
then
do something
fi
I'd avoid non-portable syntax unless it offers a significant
advantage over standard syntax.
[[ ... ]] is not standard, and offers little over the standard
syntax.
[[ ... ]] is POSIX, isn't it? As such there should be enough
portability and standard syntax to warrant the advantage.
[[ ]] is reserved but not specified.