From 50b8912183b0c669f5e6a9f9ae0172e2ec801bd1 Mon Sep 17 00:00:00 2001
From: Banana <johannes.kessler@bechtle.com>
Date: Fri, 15 Mar 2013 08:45:03 +0100
Subject: [PATCH] bash colour codes to html in a string

---
 .../bash-terminal-colors-to-html.php          | 60 +++++++++++++++++++
 1 file changed, 60 insertions(+)
 create mode 100644 single-functions/bash-terminal-colors-to-html.php

diff --git a/single-functions/bash-terminal-colors-to-html.php b/single-functions/bash-terminal-colors-to-html.php
new file mode 100644
index 0000000..3ddd361
--- /dev/null
+++ b/single-functions/bash-terminal-colors-to-html.php
@@ -0,0 +1,60 @@
+<?php
+
+/**
+ *  dolphin. Collection of useful PHP skeletons.
+ *  Copyright (C) 2013  Johannes 'Banana' Keßler
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the COMMON DEVELOPMENT AND DISTRIBUTION LICENSE
+ *
+ * You should have received a copy of the
+ * COMMON DEVELOPMENT AND DISTRIBUTION LICENSE (CDDL) Version 1.0
+ * along with this program.  If not, see http://www.sun.com/cddl/cddl.html
+ */
+
+
+/**
+ * convert bash terminal color codes to html element with a css class
+ * works with this colour echo function: https://github.com/jumpin-banana/klimbim/blob/master/bash/colour-text-echo.sh
+ * eg. the $string as a direct return from the system call which return a string formatted with the above
+ * colour echo function.
+ *
+ * it can work with other functions but this is not tested.
+ *
+ * your can change the replace text with the html code you need. Also the css classes are needed.
+ */
+function bashColortoHtml($string) {
+	$ret = false;
+	
+	if(!empty($string)) {
+		$_colorPattern = array(
+			'/\\033\[1;33m(.*?)\\033\[0m/s',
+			'/\\033\[0;31m(.*?)\\033\[0m/s',
+			'/\\033\[0;34m(.*?)\\033\[0m/s',
+			'/\\033\[0;36m(.*?)\\033\[0m/s',
+			'/\\033\[0;35m(.*?)\\033\[0m/s',
+			'/\\033\[0;33m(.*?)\\033\[0m/s',
+			'/\\033\[1;37m(.*?)\\033\[0m/s',
+			'/\\033\[0;30m(.*?)\\033\[0m/s',
+			'/\\033\[0;32m(.*?)\\033\[0m/s'
+		);
+		$_colorReplace = array(
+			'<span class="yellow">$1</span>',
+			'<span class="red">$1</span>',
+			'<span class="blue">$1</span>',
+			'<span class="cyan">$1</span>',
+			'<span class="purple">$1</span>',
+			'<span class="brown">$1</span>',
+			'<span class="white">$1</span>',
+			'<span class="black">$1</span>',
+			'<span class="green">$1</span>'
+		);
+
+		$ret = preg_replace($_colorPattern, $_colorReplace, $string);
+	}
+
+	return $ret;
+}
+
+?>
+
-- 
2.39.5