examples of bash parameter substitution