Linux tip: Bash parameters and parameter expansions