# HG changeset patch # User Matthew Wild # Date 1335416264 -3600 # Node ID 739f7ae1a01e1f78cb8e7fda6ff34810a3d7bdbb # Parent 778eb9405a981889eebe68b65e8e11c37b89da48 util.termcolours: tohtml() for converting output to HTML. I don't know. diff -r 778eb9405a98 -r 739f7ae1a01e util/termcolours.lua --- a/util/termcolours.lua Thu Apr 26 05:56:24 2012 +0100 +++ b/util/termcolours.lua Thu Apr 26 05:57:44 2012 +0100 @@ -9,6 +9,7 @@ local t_concat, t_insert = table.concat, table.insert; local char, format = string.char, string.format; +local tonumber = tonumber; local ipairs = ipairs; local io_write = io.write; @@ -34,6 +35,15 @@ ["1;31"] = 4+8 -- bold red } +local cssmap = { + [1] = "font-weight: bold", [2] = "opacity: 0.5", [4] = "text-decoration: underline", [8] = "visibility: hidden", + [30] = "color:black", [31] = "color:red", [32]="color:green", [33]="color:#FFD700", + [34] = "color:blue", [35] = "color: magenta", [36] = "color:cyan", [37] = "color: white", + [40] = "background-color:black", [41] = "background-color:red", [42]="background-color:green", + [43]="background-color:yellow", [44] = "background-color:blue", [45] = "background-color: magenta", + [46] = "background-color:cyan", [47] = "background-color: white"; +}; + local fmt_string = char(0x1B).."[%sm%s"..char(0x1B).."[0m"; function getstring(style, text) if style then @@ -76,4 +86,17 @@ end end +local function ansi2css(ansi_codes) + if ansi_codes == "0" then return ""; end + local css = {}; + for code in ansi_codes:gmatch("[^;]+") do + t_insert(css, cssmap[tonumber(code)]); + end + return ""; +end + +function tohtml(input) + return input:gsub("\027%[(.-)m", ansi2css); +end + return _M;