From ad28c7de997d5ae54024655d37d50c0c7e8a7eac Mon Sep 17 00:00:00 2001
From: Zachary Klosko <kloskoz@vcu.edu>
Date: Mon, 23 Nov 2020 15:38:06 -0500
Subject: [PATCH] Add our PPA to Ubuntu installs
---
install | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/install b/install
index fb4ce7b3f..0ff909929 100755
--- a/install
+++ b/install
@@ -711,10 +711,14 @@ if [ "$ignore_dependencies" = "f" ]; then
loud "\n-----------------------------------------------------"
loud " * Installing External Dependencies * "
loud "-----------------------------------------------------"
+
+ if [ $is_ubuntu_dist ]; then
+ loudCmd "add-apt-repository -y ppa:libretime/libretime"
+ fi
if [ -x /usr/bin/apt-get ]; then
verbose "\n * Reading requirements-${dist}-${code}.apt..."
- loudCmd "apt-get update"
+ loudCmd "apt-get -q update"
package_list_file="${SCRIPT_DIR}/installer/lib/requirements-${dist}-${code}.apt"
if [ ! -f "$package_list_file" ]; then
echo "ERROR: package file does not exist: $package_list_file" >&2