From a322e5d00803ffd42a9d1c57cdc502fa407d19a8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20D=C3=ADaz=20M=C3=A1s?= <piponazo@gmail.com>
Date: Sat, 17 Oct 2020 16:40:59 +0200
Subject: [PATCH] CI: Special packages for Ubuntu 20.04

---
 ci/install.sh | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/ci/install.sh b/ci/install.sh
index 91fd7637..599dbce1 100755
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -2,12 +2,21 @@
 set -e # Enables cheking of return values from each command
 set -x # Prints every command
 
+# This file is only used from Travis CI, where the only Linux distro used is Ubuntu
+
 python --version
 python3 --version
 
 if [[ "$(uname -s)" == 'Linux' ]]; then
     sudo apt-get update
-    sudo apt-get install cmake zlib1g-dev libssh-dev python-pip libxml2-utils
+
+    if [[ "$(lsb_release -cs)" == 'focal' ]]; then
+        # In Ubuntu 20.04 python-pip does not exist. Furthermore we need to have the alias python for python3
+        sudo apt-get install cmake zlib1g-dev libssh-dev python3-pip python-is-python3 libxml2-utils
+    else
+        sudo apt-get install cmake zlib1g-dev libssh-dev python-pip libxml2-utils
+    fi
+
     if [ -n "$WITH_VALGRIND" ]; then
         sudo apt-get install valgrind
     fi