# HG changeset patch
# User Steve Huston <huston@astro.princeton.edu>
# Date 1585750894 14400
# Node ID a05016e4881b9f74fc6d30857476f5d9dd5725cb
# Parent  1e15f715858e065a8039d3848be8f9e11023149e
Stop screwing with term settings

diff -r 1e15f715858e -r a05016e4881b .bashrc
--- a/.bashrc	Thu Mar 05 18:01:08 2020 -0500
+++ b/.bashrc	Wed Apr 01 10:21:34 2020 -0400
@@ -43,6 +43,10 @@
   xterm*|rxvt*)
     PROMPT_COMMAND='history -a ; echo -ne "\033]0;${USER}@${HOSTNAME}: ${PWD/$HOME/~}\007"'
     ;;
+  screen.xterm-256color)
+    # Specifically, to hell with this one
+    export TERM=screen
+    ;&
   screen*)
     # But if it's a screen window, leave it alone please
     PROMPT_COMMAND="history -a"