comparison .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
comparison
equal deleted inserted replaced
272:105ff650452c 273:61b830d34016
5 5
6 # These are the files we'll pull over from the dotshare directory; this way 6 # These are the files we'll pull over from the dotshare directory; this way
7 # that directory can collect other things if needed, but we only pull what we 7 # that directory can collect other things if needed, but we only pull what we
8 # need to bootstrap (the vim plugins, for example, can be loaded the typical 8 # need to bootstrap (the vim plugins, for example, can be loaded the typical
9 # way, or if we really need to a manual pull can get them all) 9 # way, or if we really need to a manual pull can get them all)
10 FILES="bash_prompt screenrc shared_bashrc .vim/vimrc .vim/gvimrc .vim/autoload/plug.vim" 10 FILES="bash_prompt gitconfig screenrc shared_bashrc .vim/vimrc .vim/gvimrc .vim/autoload/plug.vim"
11 11
12 # We need a temporary directory where we can put things. We should assume 12 # We need a temporary directory where we can put things. We should assume
13 # $HOME exists and that's where we're going to make the temp directory. This 13 # $HOME exists and that's where we're going to make the temp directory. This
14 # way when we logout, everything can be cleaned up. 14 # way when we logout, everything can be cleaned up.
15 DOTHOME=`mktemp -d ${HOME}/.ds-tmp.XXXXXX` || exit 255 15 DOTHOME=`mktemp -d ${HOME}/.ds-tmp.XXXXXX` || exit 255