diff options
author | Dominik Ritter <dritter03@googlemail.com> | 2017-03-11 14:58:00 +0300 |
---|---|---|
committer | Dominik Ritter <dritter03@googlemail.com> | 2017-03-11 14:58:00 +0300 |
commit | ef7504354febb3b75ae71a2bb7567d74732f7c1b (patch) | |
tree | 0010b5813735ae0e2178eb0d0005922f270ebec3 | |
parent | 01681a73870d15f6c77df555dc906a7a490bc73a (diff) |
Beautify output
-rwxr-xr-x | debug/font-issues.zsh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debug/font-issues.zsh b/debug/font-issues.zsh index e9d666bd..166a6ac5 100755 --- a/debug/font-issues.zsh +++ b/debug/font-issues.zsh @@ -170,11 +170,13 @@ get_term_font() { local currentTerminal=$(get_term) local currentFont=$(get_term_font "${currentTerminal}") -print -P "You are using %F{blue}${currentTerminal}%f with Font %F{blue}${currentFont}%f" +print -P "===== Font debugging =====" +print -P "You are using %F{blue}${currentTerminal}%f with Font %F{blue}${currentFont}%f\n" if [[ $(echo "${currentFont}" | grep -c -E "Powerline|Awesome|Nerd") -eq 0 ]]; then print -P "%F{yellow}WARNING%f It does not seem like you use an Powerline-enabled or Awesome Terminal Font!" print -P "Please make sure that your font settings are correct!" else - print -P "Your font settings seem to be all right. If you still have issues, it is more likely to be a font issue than a Powerlevel9k related one." + print -P "Your font settings seem to be all right. If you still have issues," + print -P "it is more likely to be a font issue than a Powerlevel9k related one." fi |