diff .shared/b @ 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 ae940a45bfff
children 02a3d7c46b2b
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