X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=new_home_directory;h=57e71882b52638caa2bb7d460e459a85330704fa;hb=545019c05c8bc7e417b78396d1aa44b49781e9e0;hp=69242342bea243384431760f35910ca523cc312c;hpb=1a96c052eb022e818a48b23f3c1c522af911e8df;p=bin.git diff --git a/new_home_directory b/new_home_directory index 6924234..57e7188 100755 --- a/new_home_directory +++ b/new_home_directory @@ -5,7 +5,7 @@ # makes a new home directory; defaults to one that does not use ssh -GIT_BASE=http://git.donarmstrong.com/ +GIT_BASE=https://git.donarmstrong.com/ if [ "$1" = "ssh" ]; then GIT_BASE=git+ssh://git.donarmstrong.com/srv/git/ @@ -24,11 +24,12 @@ for pkg in mr vcsh; do else # ok, this host isn't Debian. if [ "$pkg" == "mr" ]; then - wget http://http.debian.net/debian/pool/main/m/mr/mr_1.16_all.deb + wget http://http.debian.net/debian/pool/main/m/myrepos/myrepos_1.20160123_all.deb + ar p myrepos*.deb data.tar.xz|xz --decompress|tar -x elif [ "$pkg" == "vcsh" ]; then - wget http://http.debian.net/debian/pool/main/v/vcsh/vcsh_1.20150502-1_all.deb + wget http://http.debian.net/debian/pool/main/v/vcsh/vcsh_1.20151229-1_all.deb + ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x fi; - ar p $pkg*.deb|tar -jx; fi; ); @@ -57,7 +58,7 @@ for a in lib bin; do fi; done; -if [ "$1" == "ssh" ]; then +if [ "$1" = "ssh" ]; then mkdir -p .config/; (cd .config/; git checkout git+ssh://git.donarmstrong.com/srv/git_private/mr.git @@ -82,6 +83,14 @@ if [ ! -e .ssh/authorized_keys ]; then (cd .ssh/; ln authorized_keys_default authorized_keys -s; ) fi; +if [ ! -e ~/bin/.git ]; then + # OK, bin must have already existed; check it out directly + mv bin bin.tmp; + PATH=~/bin.tmp:$PATH mr checkout bin; + mv bin.tmp/* bin; + rmdir bin.tmp; +fi; + # do some cleanup; you might want to run git reset --hard in some # cases; we don't do so automatically in case there are local changes # that should be kept