Bookmarklet coloration Ansi

Il arrive d’avoir dans notre navigateur des sorties console brut, ceux-ci peuvent utiliser des codes couleurs ANSI \u001b[XXm, où XX correspond a une effet sur le texte. Le style est plutôt bien gérer dans un terminal mais pas gérer dans un navigateur.

Avec un peut code Javascript, on peut remplacer les codes par des balises HTML.

Pour l’utiliser, il suffit de l’ajouter en marque-pages, et de cliquer dessus pour faire apparaître les couleurs.

javascript:(function () {
  var map = {
    0: '</span>',
    30: "<span style='color: #000'>",
    31: "<span style='color: #A00'>",
    32: "<span style='color: #0A0'>",
    33: "<span style='color: #A50'>",
    34: "<span style='color: #00A'>",
    35: "<span style='color: #A0A'>",
    36: "<span style='color: #0AA'>",
    37: "<span style='color: #AAA'>",
    39: '</span>'
  };
  document.body.innerHTML = document.body.innerHTML.replace(/\u001b\[([0-9;]*)m/g, function (m, k) {
    return map[k] || '';
  });
  document.body.style.backgroundColor = "#000";
  document.body.style.color = "#AAA";
}());