From a572be41cbe36815b6aee98f9597b8e1b6fcea7e Mon Sep 17 00:00:00 2001 From: Andrei Karas Date: Thu, 19 Oct 2017 17:22:50 +0300 Subject: Add ci script for adding repository for custom release. --- .ci/addrepo.sh | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 .ci/addrepo.sh diff --git a/.ci/addrepo.sh b/.ci/addrepo.sh new file mode 100755 index 0000000..febac0d --- /dev/null +++ b/.ci/addrepo.sh @@ -0,0 +1,9 @@ +#!/bin/bash + +if [ "$RUNFROMSHELL" != "" ]; +then + echo "Running from shell. Skipping apt-get install" + return +fi + +echo "deb http://deb.debian.org/debian $1 main" >> /etc/apt/sources.list -- cgit v1.2.3-70-g09d2