bash: how do I write non ascii chars using echo?

Question

Is there an escape sequence, such as \012 or something like that?

I want to append on ascii chars to a file using echo ?? >> file

Answer 1

Use

echo -e "\012"

Answer 2

Duplicate of this question.

Answer 3

In the DOS command line enter EDIT, then to insert control characters use CTRL+P followed by the control character required.

For example

echo Ctrl-P ALT+013 > file

Answer 4

If you care about portability, you'll drop echo and use printf(1):

printf '\012'