changeset 207:b4486b5df065

move common stuff to share/.bash_extras
author Henry S. Thompson <ht@inf.ed.ac.uk>
date Thu, 11 Jun 2026 21:17:41 +0100
parents d9fea13d4220
children cbe631c26d53
files .bashrc
diffstat 1 files changed, 3 insertions(+), 7 deletions(-) [+]
line wrap: on
line diff
--- 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