A shell colon does nothing. Use it anyway (by refp) — discussion

#programming