On Sun, 19 May 1996, The Great Mr. Kurtz [David A. Gatwood] wrote:

> This could probably be done more simply if I knew how to send escape via
> the echo command, but otherwise, create a file called normal.c

echo "<ctrl-v><esc>[0m"

Note that the <ctrl-v><esc> sequence will show up as ^[ on the command
line.