# The above is a bash replacement construct. Given a variable $var, # a pattern pat and a replacement (rep), to replace all occurrences # of pat with rep, you would do echo "${var//pat/rep}"