diff --git a/ubuntu18.04/base/Dockerfile b/ubuntu18.04/base/Dockerfile index 49c5964cc5697c5bb295ebcbb573414554ee0856..025215766e4aeb6fcffb519590eeb50a8b88db64 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 0000000000000000000000000000000000000000..656c218af25f9f1d4895e12342f4702c9d3e4a92 --- /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 +}