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

2016-07-07 13:27:20 -05:00 · 2016-07-07 13:27:20 -05:00 · 21f025e601
parent 3aacdb4421
commit 21f025e601
1 changed files with 4 additions and 0 deletions
--- a/tools/settings.py
+++ b/tools/settings.py
@ -51,6 +51,10 @@ BUILD_OPTIONS = []
 # mbed.org username
 MBED_ORG_USER = ""

+CLI_COLOR_MAP = {
+    "warning": "yellow",
+    "error"  : "red"
+}

 ##############################################################################
 # User Settings (file)