|
|
|
|
|
by igor_chubin
2183 days ago
|
|
It was the case indeed (many many years ago),
we discussed at the anuualy curl hackers conference in Nuremberg back in 2017, but the only terminals that we managed to find with the support of this were not younger than 2001. Anyway, one can write a small filter, to cut any suspicious sequences from the output off, and add some wrapper like that to your bashrc: curl() { [ -t 1 ] && curl "$@" | sanitize || curl "$@"; } |
|
Text after a blank line that is indented by two or more spaces is reproduced verbatim. (This is intended for code.)
[0]: https://news.ycombinator.com/formatdoc