Bash: printf usage and example