From 26dc235ff39ccd325eac334629fe4e96f6b1cc6e Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Wed, 29 May 2024 20:49:31 -0700 Subject: [PATCH] fix package checks --- new_home_directory | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/new_home_directory b/new_home_directory index 3e492a3..71e9869 100755 --- a/new_home_directory +++ b/new_home_directory @@ -19,7 +19,7 @@ for pkg in mr vcsh; do mkdir -p local_packages/$pkg; (cd local_packages/$pkg; deb_name=$pkg - if [ $pkg == "mr"; ]; then + if [ $pkg = "mr" ]; then deb_name=myrepos fi; if which apt-get >/dev/null 2>&1; then @@ -27,10 +27,10 @@ for pkg in mr vcsh; do dpkg-deb -x ${deb_name}*.deb . else # ok, this host isn't Debian. - if [ "$pkg" == "mr" ]; then + 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 + 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; @@ -39,7 +39,7 @@ for pkg in mr vcsh; do ); mkdir -p bin ln ~/local_packages/$pkg/usr/bin/$pkg bin/$pkg -s - if [ "$pkg" == "mr" ]; then + if [ "$pkg" = "mr" ]; then echo -e "[DEFAULT]\ninclude = cat ~/local_packages/$pkg/usr/share/mr/*" >> ~/.mrconfig fi; PATH="$HOME/local_packages/$pkg/usr/bin/:$PATH" -- 2.39.5