Skip to content
Snippets Groups Projects
Commit 26ec4231 authored by calrama's avatar calrama
Browse files

ubuntu18.04: Add some CI helpers

parent fa41c95b
Branches
Tags
No related merge requests found
......@@ -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
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
}
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment