5 comments

[ 306 ms ] story [ 394 ms ] thread
I kept seeing a normal HTML output, then I remembered that I changed curl's default user agent.
> Exit the session to reset it.

No, just run the reset utility.

You can also use the reset function in your terminal emulator, like the Reset command int he Terminal menu of Gnome Terminal.

The data contains escape codes which shift the terminal into the block drawing character set and change the foreground and background color. These configuration changes can be reset out of the way.

The reset program also fixes the kernel TTY settings, but those are not messed up in this case.

Using the reset utility is like a combination of manually resetting the terminal with its menu command, and then running stty sane (using the GNU Coreutils stty which has the sane keyword) to reset the TTY settings.

Cool tip, thanks!