1 files changed, 0 insertions, 20 deletions
diff --git a/tools/setup_RedHat.sh b/tools/setup_RedHat.sh
deleted file mode 100755
index 50cd81ff4..000000000
--- a/tools/setup_RedHat.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/bash
-
-set -o xtrace
-set -o errexit
-
-sudo tee /etc/yum.repos.d/docker-ce-stable.repo << EOF
-[docker-ce-stable]
-baseurl=$DOCKER_REPOS_MIRROR_URL/centos/7/\$basearch/stable
-enabled=1
-gpgcheck=1
-gpgkey=$DOCKER_REPOS_MIRROR_URL/centos/gpg
-module_hotfixes=True
-EOF
-
-sudo dnf -y install docker-ce
-
-sudo systemctl start docker
-sudo docker info
-
-echo "Completed $0."