# HG changeset patch
# User Steve Huston <huston@princeton.edu>
# Date 1714077517 14400
# Node ID 61b830d340164f5bb1255a3237350d180b493af5
# Parent  105ff650452ca892db0e789035efa344e4f5085b
Get some basic git config stuff shared wider

diff -r 105ff650452c -r 61b830d34016 .shared/b
--- a/.shared/b	Thu Apr 25 15:54:08 2024 -0400
+++ b/.shared/b	Thu Apr 25 16:38:37 2024 -0400
@@ -7,7 +7,7 @@
 # that directory can collect other things if needed, but we only pull what we
 # need to bootstrap (the vim plugins, for example, can be loaded the typical
 # way, or if we really need to a manual pull can get them all)
-FILES="bash_prompt screenrc shared_bashrc .vim/vimrc .vim/gvimrc .vim/autoload/plug.vim"
+FILES="bash_prompt gitconfig screenrc shared_bashrc .vim/vimrc .vim/gvimrc .vim/autoload/plug.vim"
 
 # We need a temporary directory where we can put things.  We should assume
 # $HOME exists and that's where we're going to make the temp directory.  This
diff -r 105ff650452c -r 61b830d34016 .shared/gitconfig
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.shared/gitconfig	Thu Apr 25 16:38:37 2024 -0400
@@ -0,0 +1,2 @@
+[push]
+	default = simple
diff -r 105ff650452c -r 61b830d34016 .shared/shared_bashrc
--- a/.shared/shared_bashrc	Thu Apr 25 15:54:08 2024 -0400
+++ b/.shared/shared_bashrc	Thu Apr 25 16:38:37 2024 -0400
@@ -20,6 +20,7 @@
 export GVIMINIT="source ${DOTHOME}/.vim/gvimrc"
 export HOST=`hostname -s`
 export SCREENRC="${DOTHOME}/screenrc"
+export GIT_CONFIG_GLOBAL="${DOTHOME}/gitconfig"
 
 # Specifically, to hell with this terminal type
 [[ $TERM =~ screen.xterm-256color ]] && export TERM=screen-256color