--- a/.bashrc	Thu Apr 18 13:37:00 2024 -0400
+++ b/.bashrc	Wed Apr 24 16:15:40 2024 -0400
@@ -17,7 +17,22 @@
   . /etc/bashrc
 fi
 
-# User specific aliases and functions
+# DOTHOME is where dotfiles (like this one) live that might be used here, or
+# might be shared to other places from here, so rather than duplicate them we
+# put them in a subdirectory that is safe to "export" but will need to know
+# where they live.  Then if imported somewhere else, that location may be
+# different than here - like in a temporary directory - so we'll need to know
+# what it is and refer to it as such.  The equivalent script to this very one
+# that would load those files will have to set this first.
+
+export DOTHOME="$HOME/.shared"
+
+# Source shared files
+if [ -f ${DOTHOME}/shared_bashrc ]; then
+  . ${DOTHOME}/shared_bashrc
+fi
+
+# Load local aliases
 if [ -f $HOME/.bash_aliases ]; then
   . $HOME/.bash_aliases
 fi
@@ -26,25 +41,19 @@
 # Environment variables
 #
 
-[[ "$PS1" ]] && . $HOME/.bash_prompt
-
-export PAGER=less
-export EDITOR=vim
 export RUBYLIB=$HOME/Installs/rubygems/lib
 export GEM_HOME=$HOME/Installs/rubygems/gems
 export TOMENET_PATH=$HOME/Installs/tomenet/lib/
-export HOST=`hostname -s`
 # Since I've started playing with some node.js things, this is included in its
 # setup.
 export NVM_DIR="$HOME/.config/nvm"
 
 if [ -f $HOME/.screen/$HOST ]; then
+  # If we have a local one for this host, use it; if not the default set in
+  # the shared settings will be there
   export SCREENRC=$HOME/.screen/$HOST
 fi
 
-# Specifically, to hell with this one
-[[ $TERM =~ screen.xterm-256color ]] && export TERM=screen-256color
-
 # Set some friendly options for history
 # Append to ~/.bash_history, don't overwrite it
 shopt -s histappend