Bash: use `printf` over `echo -e`

Portable formatting and escape handling.

printf 'Hello %s\n' "$USER"