From 108c23416fed5500ca6f63fe5e760fddf78622c1 Mon Sep 17 00:00:00 2001
From: Jeff Schroeder <jeffschroeder@computer.org>
Date: Tue, 22 Feb 2022 05:59:54 +0000
Subject: [PATCH] dev-setup.sh: blow up if podman-docker is installed

Good review feedback from Leo
---
 scripts/dev-setup.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/scripts/dev-setup.sh b/scripts/dev-setup.sh
index 01a5d206c..ca73b7ee3 100755
--- a/scripts/dev-setup.sh
+++ b/scripts/dev-setup.sh
@@ -37,7 +37,12 @@ case "$DISTRO" in
             exit 1
         fi
     ;;
-    RedHatEnterprise-8.*) true ;; # Not in OS repositories.
+    RedHatEnterprise-8.*)
+        if rpm -q podman-docker &>/dev/null; then
+            echo "podman-docker is installed. Please uninstall it first."
+            exit 1
+        fi
+    ;;
     *) echo "Internal error: $DISTRO not matched in case block." && exit 1 ;;
 esac