diff --git a/bashrc b/bashrc index 6eaa5ed..504f8ca 100644 --- a/bashrc +++ b/bashrc @@ -53,7 +53,7 @@ if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then debian_chroot=$(cat /etc/debian_chroot) fi -if [ "$TERM" == "xterm" ] ; then +if [ 0 -a "$TERM" == "xterm" ] ; then # If it's available, use vscode-direct (which supports 16 million # colours via the ';' sequences; required as PuTTY doesn't # understand the ':' sequences). @@ -64,6 +64,8 @@ if [ "$TERM" == "xterm" ] ; then else export TERM=xterm-256color fi +else + export TERM=xterm-256color fi # If this is an xterm set the title to user@host:dir