From cd290c2c667e8da81356f0ef1a787f80b02fb961 Mon Sep 17 00:00:00 2001
From: Alex Vandiver <alexmv@zulip.com>
Date: Sat, 27 Jun 2020 03:05:21 +0000
Subject: [PATCH] installer: Be tighter about the search for postgres server
 packages.

---
 scripts/lib/install | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/lib/install b/scripts/lib/install
index f47713d42d..6e65a53466 100755
--- a/scripts/lib/install
+++ b/scripts/lib/install
@@ -190,7 +190,7 @@ case ",$PUPPET_CLASSES," in
             # We're going to install Postgres from the postgres apt
             # repository; this may conflict with the existing postgres.
             OTHER_PG="$(dpkg --get-selections |
-                             grep '^postgresql-[1-9].*\binstall$' |
+                             grep -E '^postgresql-[0-9]+\s+install$' |
                              grep -v "^postgresql-$POSTGRES_VERSION\b" |
                              cut -f 1)" || true
             if [ -n "$OTHER_PG" ]; then