From: Don Armstrong Date: Sat, 2 Apr 2022 21:24:55 +0000 (-0700) Subject: handle the fact that mr is now myrepos X-Git-Url: https://git.donarmstrong.com/?p=bin.git;a=commitdiff_plain;h=d268bfaaa5b152b738aaf7b6a03da559a3e2505d handle the fact that mr is now myrepos --- 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