X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=new_home_directory;h=57e71882b52638caa2bb7d460e459a85330704fa;hb=7a5c7c8f1f49808f6b124d018b40db9572693355;hp=5a180fb01ae2383cece866c0cdf8d28669f9bc04;hpb=86db74956b60eb7dd12c0c66ba5d2a2eb6e9103b;p=bin.git

diff --git a/new_home_directory b/new_home_directory
index 5a180fb..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/
@@ -18,17 +18,18 @@ for pkg in mr vcsh; do
         echo "Package $pkg doesn't exist; getting it"
         mkdir -p local_packages/$pkg;
         (cd local_packages/$pkg;
-         if which apt-et >/dev/null 2>&1; then
+         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/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