diff options
| author | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2016-11-05 10:17:44 +0100 |
|---|---|---|
| committer | Kévin Le Gouguec <kevin.legouguec@gmail.com> | 2016-11-05 10:25:09 +0100 |
| commit | 841b71492a9fdf3a7a4bb5c4c11673a62038174b (patch) | |
| tree | cecf7b9dbb243d950a0f855e6e66b3f2a25ba41b | |
| parent | ca252d9fce68de806735c964c92f152e55221c84 (diff) | |
| download | dotfiles-841b71492a9fdf3a7a4bb5c4c11673a62038174b.tar.xz | |
(m) Move comment on non-printing characters
| -rw-r--r-- | .bashprompt | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.bashprompt b/.bashprompt index 1ec822c..31624ee 100644 --- a/.bashprompt +++ b/.bashprompt @@ -13,6 +13,8 @@ __set-title () echo -ne "\033]2;${title}\007" } +# In order to know how much space PS1 takes, Bash needs us to delimit +# non-printing characters with \[ and \]. __start-nonprinting () { if [ ${BUILDING_PS1} ] @@ -43,9 +45,6 @@ __fontify () local text=$1 shift - # We need to add \[ \] around CSI sequences so that Bash can tell which - # characters are non-printing. - output=$(__start-nonprinting) output+='\033[' |