Bash: repeat character to a given length