File extensions in bash scripts – shell parameter expansion / hacker news