changeset 273:61b830d34016

Get some basic git config stuff shared wider
author Steve Huston <huston@princeton.edu>
date Thu, 25 Apr 2024 16:38:37 -0400
parents 105ff650452c
children 02a3d7c46b2b
files .shared/b .shared/gitconfig .shared/shared_bashrc
diffstat 3 files changed, 4 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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
--- /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
--- 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