From 093137cdbafc106bedd53189d37265d5d3f5d669 Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Fri, 4 Nov 2016 18:53:16 +0100 Subject: Concatenate instead of echoing TODO: measure whether this actually changes anything. --- .bashprompt | 24 +++++++++++++----------- 1 file changed, 13 insertions(+), 11 deletions(-) diff --git a/.bashprompt b/.bashprompt index d7a6a54..0ce903f 100644 --- a/.bashprompt +++ b/.bashprompt @@ -40,14 +40,14 @@ __fontify () codes[dim]='2' codes[clear]='0' - local string=$1 + local text=$1 shift # We need to add \[ \] around CSI sequences so that Bash can tell which # characters are non-printing. - __start-nonprinting - echo -en '\033[' + output=$(__start-nonprinting) + output+='\033[' local attributes=($@) local nb=$# @@ -55,22 +55,24 @@ __fontify () for ((i=0; i