Zmienna SED zamiast pliku

# 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}"
Rafael Rodriguez