From 610cf8d2545ed2cbbdfb8ce8758042006e64c320 Mon Sep 17 00:00:00 2001 From: VirtuBox Date: Thu, 14 May 2020 00:20:21 +0200 Subject: [PATCH] Fix redis-server on Ubuntu 20.04 LTS --- wo/cli/plugins/stack_pref.py | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/wo/cli/plugins/stack_pref.py b/wo/cli/plugins/stack_pref.py index 751a2b9..f283c85 100644 --- a/wo/cli/plugins/stack_pref.py +++ b/wo/cli/plugins/stack_pref.py @@ -139,9 +139,10 @@ def pre_pref(self, apt_packages): # add redis repository if set(WOVar.wo_redis).issubset(set(apt_packages)): if WOVar.wo_distro == 'ubuntu': - Log.info(self, "Adding repository for Redis, please wait...") - Log.debug(self, 'Adding ppa for redis') - WORepo.add(self, ppa=WOVar.wo_redis_repo) + if not WOVar.wo_platform_codename == 'focal': + Log.info(self, "Adding repository for Redis, please wait...") + Log.debug(self, 'Adding ppa for redis') + WORepo.add(self, ppa=WOVar.wo_redis_repo) else: if not WOFileUtils.grepcheck( self, '/etc/apt/sources.list/wo-repo.list',