Add a setting for colorization map so that it may be overwritten by the user

theotherjimmy · theotherjimmy · commit 21f025e6013a · 2016-07-11T09:41:23.000-05:00
diff --git a/tools/settings.py b/tools/settings.py
@@ -51,6 +51,10 @@
 # mbed.org username
 MBED_ORG_USER = ""
 
+CLI_COLOR_MAP = {
+    "warning": "yellow",
+    "error"  : "red"
+}
 
 ##############################################################################
 # User Settings (file)
