/colorize-makeindex-errors.sed
sed | 7 lines | 6 code | 0 blank | 1 comment | 0 complexity | 51018495c7fb0613fd353f9a45c28418 MD5 | raw file
- #(##defaults(color_error="", color_reset="") ##)
- /^!! /{
- N
- s/^.*$/(##color_error##)&(##color_reset##)/
- p
- }
- d