switch to using myrepos instead of mr; properly handle xz archives

diff --git a/new_home_directory b/new_home_directory
index 69242342bea243384431760f35910ca523cc312c..22d26892cdbe51fd58e0b1364d79239e147e2a12 100755 (executable)
--- a/new_home_directory
+++ b/new_home_directory
@@ -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.20150503_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
+                 ar p vcsh*.deb data.tar.xz|xz --decompress|tar -x
              fi;
-             ar p $pkg*.deb|tar -jx;
              
          fi;
         );