X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=new_home_directory;h=706c1cb9562aa593dad3b39ae6c1b0b40ce427bc;hb=f43617e9de7710c3651cc62c4fa9abbcd5a0698f;hp=f32e7aa68d7aa4cd519728fe824e95c48be77bfd;hpb=6fdacc67d7d5956eaa91c294761adac0b17e13f3;p=bin.git diff --git a/new_home_directory b/new_home_directory index f32e7aa..706c1cb 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/ @@ -18,8 +18,20 @@ for pkg in mr vcsh; do echo "Package $pkg doesn't exist; getting it" mkdir -p local_packages/$pkg; (cd local_packages/$pkg; - apt-get download $pkg; - dpkg-deb -x $pkg*.deb . + if which apt-get >/dev/null 2>&1; then + apt-get download $pkg; + dpkg-deb -x $pkg*.deb . + else + # ok, this host isn't Debian. + if [ "$pkg" == "mr" ]; then + 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.20151229-1_all.deb + ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x + fi; + + fi; ); mkdir -p bin ln ~/local_packages/$pkg/usr/bin/$pkg bin/$pkg -s @@ -46,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