repo=release.*platform=deb.*scenario=(minor|major|double) apt-get install -y apt-transport-https gnupg wget @WGET@ --timestamping -P /etc/apt/sources.list.d @URL@ apt-key adv --fetch-keys http://scientific.zcu.cz/repos/jenkins-builder.asc apt-key adv --fetch-keys http://scientific.zcu.cz/repos/valtri2.asc cat > /etc/apt/preferences.d/jenkins <