Timeline for sed: match special color characters
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 24, 2020 at 20:43 | comment | added | Stéphane Chazelas | @peterph, it makes sense for that ^[[38;5;216maaa.gpg^[[00m for instance to be change to ^[[38;5;216maaa^[[00m instead of ^[[38;5;216maaa as the ^[[00m was intended to terminate the ^[[38;5;216m which we leave alone here. | |
| Dec 24, 2020 at 20:38 | comment | added | peterph | Is there some advantage in keeping the reset sequence? Say someone has a preference for a special colour (which he for example sets at the end of $PS1, then cat file1 | sed "..."; cat file2 the second file will be printed with undesired colour. | |
| Dec 24, 2020 at 11:46 | history | answered | Stéphane Chazelas | CC BY-SA 4.0 |