From 121a52b47de82dcd9eda284daf1eccdf4d10cea0 Mon Sep 17 00:00:00 2001
From: Tomas Pecka <tomas.pecka@fit.cvut.cz>
Date: Tue, 1 Oct 2019 16:59:41 +0200
Subject: [PATCH] CD: Arch deployment: Add grep package needed by repo-add
---
extra/scripts/CD/packaging/package-archlinux.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/extra/scripts/CD/packaging/package-archlinux.sh b/extra/scripts/CD/packaging/package-archlinux.sh
index 73a443a817..88e07449cd 100644
--- a/extra/scripts/CD/packaging/package-archlinux.sh
+++ b/extra/scripts/CD/packaging/package-archlinux.sh
@@ -47,7 +47,7 @@ deploy () {
REMOVE="algorithms-library-gui algorithms-library"
fi
- $DOCKER_CMD pacman -Suy --noconfirm --needed gnupg
+ $DOCKER_CMD pacman -Suy --noconfirm --needed gnupg grep
for file in *.tar.xz; do
$DOCKER_CMD bash -c "cd $REPO_DIR && [[ -e $REPO_DB ]] && repo-remove -v -s -k $GPG_KEYID $REPO_DB $REMOVE || true"
$DOCKER_CMD bash -c "for file in /build/*.tar.xz; do cp \$file $REPO_DIR/ && cp \$file.sig $REPO_DIR/ && repo-add -R -v -s -k $GPG_KEYID $REPO_DB $(basename "\$file"); done"
--
GitLab