From 26ec423123dc6fcfa2ff2082b8e4f6c5521eb88a Mon Sep 17 00:00:00 2001
From: Moritz Maxeiner <mm@ucw.sh>
Date: Mon, 10 Dec 2018 03:58:06 +0100
Subject: [PATCH] ubuntu18.04: Add some CI helpers
---
ubuntu18.04/base/Dockerfile | 1 +
ubuntu18.04/base/profile.sh | 10 ++++++++++
2 files changed, 11 insertions(+)
create mode 100644 ubuntu18.04/base/profile.sh
diff --git a/ubuntu18.04/base/Dockerfile b/ubuntu18.04/base/Dockerfile
index 49c5964..0252157 100644
--- a/ubuntu18.04/base/Dockerfile
+++ b/ubuntu18.04/base/Dockerfile
@@ -106,3 +106,4 @@ ADD agki-nas01.imp.fu-berlin.de-ca-cert.crt /usr/local/share/ca-certificates/agk
RUN update-ca-certificates
RUN apt-get clean
+COPY profile.sh /etc/profile.d/robofish.sh
diff --git a/ubuntu18.04/base/profile.sh b/ubuntu18.04/base/profile.sh
new file mode 100644
index 0000000..656c218
--- /dev/null
+++ b/ubuntu18.04/base/profile.sh
@@ -0,0 +1,10 @@
+function gitlab-fetch-artifacts {
+ curl -o artifacts.zip --header "JOB-TOKEN: $CI_JOB_TOKEN" "https://git.imp.fu-berlin.de/api/v4/projects/$1/jobs/artifacts/$2/download?job=$3"
+ 7z e artifacts.zip; rm artifacts.zip
+}
+
+function cmake-integrate-package {
+ 7z e $1-*.tar.xz; rm $1-*.tar.xz
+ 7z x $1-*.tar; rm $1-*.tar
+ ln -s $(realpath $1-*) /usr/local/$1
+}
--
GitLab