From 8752be3b142fe07e1cf3f438011a752b9b432a67 Mon Sep 17 00:00:00 2001
From: Jens Sauer <jsauer65@gmail.com>
Date: Tue, 24 Nov 2020 16:17:05 +0100
Subject: [PATCH] powerline: Do not start powerline on 'linux' console

The linux console is not often used, but powerline messes this up with
unsupported characters.
---
 shell/.bashrc | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/shell/.bashrc b/shell/.bashrc
index b1c43a5..4d5e4ce 100644
--- a/shell/.bashrc
+++ b/shell/.bashrc
@@ -119,9 +119,11 @@ if [ -f /usr/share/bash-completion/completions/ssh ]; then
 fi
 
 # Start powerline
-PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: $(dirs +0)\007"'
-if [ -f /usr/share/powerline/bindings/bash/powerline.sh ]; then
-    . /usr/share/powerline/bindings/bash/powerline.sh
+if [ $TERM != "linux" ]; then
+  PROMPT_COMMAND='echo -ne "\033]0;${USER}@${HOSTNAME}: $(dirs +0)\007"'
+  if [ -f /usr/share/powerline/bindings/bash/powerline.sh ]; then
+      . /usr/share/powerline/bindings/bash/powerline.sh
+  fi
 fi
 
 # Base16 Shell