From ff14dcaf569995954aaa565be085371d4577135d Mon Sep 17 00:00:00 2001 From: David Tomaschik Date: Thu, 26 Sep 2019 22:03:39 -0700 Subject: [PATCH] Prune package list better. --- install.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/install.sh b/install.sh index 89ae452..d2a289a 100755 --- a/install.sh +++ b/install.sh @@ -237,7 +237,7 @@ install_pkg_set() { if [ -z "${line}" ] ; then continue fi - if apt-cache show ${line} >/dev/null 2>&1 ; then + if apt-cache show ${line} | greq -q 'No packages found' >/dev/null 2>&1 ; then pkg_list="${pkg_list} ${line}" else echo "Warning: package ${line} not found." >&2