bash to shell syntax