wip

Author: marcoieni

src/ci/scripts/update-docker.sh

@@ -6,7 +6,7 @@ set -euo pipefail
 echo "previous docker version:"
 sudo docker --version || true
 
-# Remove old Docker packages
+echo "Remove old Docker packages"
 for pkg in \
     docker.io \
     docker-compose \
@@ -15,21 +15,21 @@ for pkg in \
     podman-docker ;
     do sudo apt-get remove -y $pkg || true; done
 
-sudo apt-get update
-
-# Add Docker's official GPG key
+echo "Add Docker's official GPG key"
 sudo install -m 0755 -d /etc/apt/keyrings
 sudo curl -fsSL https://download.docker.com/linux/ubuntu/gpg -o /etc/apt/keyrings/docker.asc
 sudo chmod a+r /etc/apt/keyrings/docker.asc
 
-# Set up the repository
+echo "Add the repository to Apt sources"
 echo \
   "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/docker.asc] https://download.docker.com/linux/ubuntu \
   $(. /etc/os-release && echo "${UBUNTU_CODENAME:-$VERSION_CODENAME}") stable" | \
   sudo tee /etc/apt/sources.list.d/docker.list > /dev/null
 
+echo "Update the package database"
 sudo apt-get update
 
+echo "Install the latest version of Docker"
 sudo apt-get install -y \
   docker-ce \
   docker-ce-cli \