# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1658342509 -3600
# Node ID 763bf32dfb2660bd9b6f5cfb2814399516eef5d9
# Parent  f60c03e86e40f525bc60555631a09bce48f85664
fix PROMPT_COMMAND

diff -r f60c03e86e40 -r 763bf32dfb26 .bashrc
--- a/.bashrc	Wed Jul 20 19:41:19 2022 +0100
+++ b/.bashrc	Wed Jul 20 19:41:49 2022 +0100
@@ -43,10 +43,12 @@
 
 #export PYTHONPATH=$HOME/lib/python3.6/site-packages
 
+PROMPT_COMMAND=prompt
+
 EDITOR=emacs
 
 PATH=$PATH:$HOME/.local/bin:$HOME/bin
 
 HHOME=/home/dc007/dc007/$(whoami)
 
-export PATH EDITOR HHOME
+export PATH EDITOR HHOME PROMPT_COMMAND