this is bash syntax, not plain sh