# HG changeset patch
# User Henry S. Thompson <ht@inf.ed.ac.uk>
# Date 1781209061 -3600
# Node ID b4486b5df065125d9ff60e5b64c5c9e5b6258726
# Parent  d9fea13d42200e1900c597b19acf4bc5f9f06355
move common stuff to share/.bash_extras

diff -r d9fea13d4220 -r b4486b5df065 .bashrc
--- a/.bashrc	Wed Jun 10 19:07:32 2026 +0100
+++ b/.bashrc	Thu Jun 11 21:17:41 2026 +0100
@@ -26,6 +26,8 @@
     echo -ne '\033]0;'${HOSTNAME/-login/} ${PWD/$HOME/\~}'\007'
 }
 
+alias ls="ls -F --color=auto"
+
 if [ "$PS1" ]; then
   PS1='\[\033[1m\]\h\[\033[0m\]<\!>: '
 #   LD_LIBRARY_PATH=/home/dc007/dc007/hst/lib64 gdb >/dev/null 2>&1 <<EOF
@@ -61,12 +63,6 @@
 
 EDITOR=emacs
 
-WSHARED=/work/dc007/dc007/shared
-W=/work/dc007/dc007/hst
-CCC=/work/dc007/shared/pod12/common_crawl
-
-PATH=$PATH:$HOME/.local/bin:$HOME/bin:$W/bin:$WSHARED/bin
-
-export PATH EDITOR PS1 WSHARED W CCC USER_PROMPT_COMMAND
+export PS1 USER_PROMPT_COMMAND
 export -f prompt savehist
 module load tmux