|
|
I was curious. So on the Ubuntu terminal, echo -e "\0033]31;47m $USER \0033[0m" prints nothing, and echo -e "\0033p31;47m $USER \0033[0m" skips the p and prints the rest of the text 31;47m matt . I have also seen terminal emulators that output entire error messages when they encounter esc sequences that they don't know.
I don't know if there is an official RFC for unknown code, but I assume that ignoring the \0033 and the everything up to and including the next letter is a good thing, so that echo -e "\033[1mHello\033[0m" would print a very readable Hello , even if the terminal does not understand the esc sequence for the "bold" attribute.
— Reply to this email directly, view it on GitHub, or unsubscribe. You are receiving this because you are subscribed to this thread.Message ID: <fltk/fltk/issues/950/2073034703@github.com>
[ Direct Link to Message ] | |
|
| |