proper shell syntax