# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1658342891 -3600
# Node ID b41425a5e2f60517093bb3f957d4c207c49c73e4
# Parent  a8e311034d43f3a00c8b88a3abd30ffa2d3a135d
add $W

diff -r a8e311034d43 -r b41425a5e2f6 .bashrc
--- a/.bashrc	Wed Jul 20 19:47:21 2022 +0100
+++ b/.bashrc	Wed Jul 20 19:48:11 2022 +0100
@@ -49,10 +49,18 @@
   export HISTIGNORE='[ ]*:&:[fb]g:exit'
 fi
 
+if [ -z "$TERMINFO" ]
+then
+ export TERMINFO=/usr/share/terminfo
+ # needed to allow tmux to work
+fi
+
 EDITOR=emacs
 
 WSHARED=/work/dc007/dc007/shared
+W=/work/dc007/dc007/hst
 
 PATH=$PATH:$HOME/.local/bin:$HOME/bin:$WSHARED/bin
 
-export PATH EDITOR PS1 WSHARED USER_PROMPT_COMMAND
+export PATH EDITOR PS1 WSHARED W USER_PROMPT_COMMAND
+export -f prompt savehist