How do I write non-ASCII characters using echo? August 20, 2023 by Tarik If you care about portability, you’ll drop echo and use printf(1): printf '\012'