From c5fc45b5a12ebaf168f7795dfa1bf89616b991f0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?King=20K=C3=A9vin?= <kingkevin@cuvoodoo.info>
Date: Sat, 1 Sep 2018 11:08:04 +0200
Subject: [PATCH] terminal: make prefix bold

---
 lib/terminal.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/terminal.c b/lib/terminal.c
index 44394d3..2117339 100644
--- a/lib/terminal.c
+++ b/lib/terminal.c
@@ -295,7 +295,7 @@ static void terminal_process_escape(void)
 /** print current line and set position */
 static void terminal_print_line(void)
 {
-	printf("\r\x1b[K%s%s%s", terminal_prefix ? terminal_prefix : "", ": ", &terminal_buffer[terminal_line]); // erase line and display last one
+	printf("\r\x1b[K\x1b[1m%s:\x1b[0m %s", terminal_prefix ? terminal_prefix : "", &terminal_buffer[terminal_line]); // erase line and display last one
 	if (terminal_pos<terminal_line+strlen(&terminal_buffer[terminal_line])) { // cursor is not at the end of the line
 		printf("\x1b[%uD", terminal_line+strlen(&terminal_buffer[terminal_line])-terminal_pos); // set position by going back
 	}