From d268bfaaa5b152b738aaf7b6a03da559a3e2505d Mon Sep 17 00:00:00 2001
From: Don Armstrong <don@donarmstrong.com>
Date: Sat, 2 Apr 2022 14:24:55 -0700
Subject: [PATCH] handle the fact that mr is now myrepos

---
 new_home_directory | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/new_home_directory b/new_home_directory
index 57e7188..3e492a3 100755
--- a/new_home_directory
+++ b/new_home_directory
@@ -18,9 +18,13 @@ for pkg in mr vcsh; do
         echo "Package $pkg doesn't exist; getting it"
         mkdir -p local_packages/$pkg;
         (cd local_packages/$pkg;
+         deb_name=$pkg
+         if [ $pkg == "mr"; ]; then
+             deb_name=myrepos
+         fi;
          if which apt-get >/dev/null 2>&1; then
-             apt-get download $pkg;
-             dpkg-deb -x $pkg*.deb .
+             apt-get download $deb_name;
+             dpkg-deb -x ${deb_name}*.deb .
          else
              # ok, this host isn't Debian.
              if [ "$pkg" == "mr" ]; then
-- 
2.39.2