How do I write non-ASCII characters using echo? Is there an escape sequence, such as \012 or something like that?
I want to append ASCII characters to a file using:
echo ?? >> file
echo -e "\012"
If you care about portability, you'll drop echo and use printf(1):