diff options
| author | Andrei Karas <akaras@inbox.ru> | 2017-10-19 17:22:50 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2017-10-19 17:22:50 +0300 |
| commit | a572be41cbe36815b6aee98f9597b8e1b6fcea7e (patch) | |
| tree | 9cc375bd24cdec2ae3e2ebff0bbe872ce04400c4 | |
| parent | 9518911bde93acb5100f615e9fd1e8a6ce7ba95a (diff) | |
| download | spm-a572be41cbe36815b6aee98f9597b8e1b6fcea7e.tar.gz spm-a572be41cbe36815b6aee98f9597b8e1b6fcea7e.tar.bz2 spm-a572be41cbe36815b6aee98f9597b8e1b6fcea7e.tar.xz spm-a572be41cbe36815b6aee98f9597b8e1b6fcea7e.zip | |
Add ci script for adding repository for custom release.
| -rwxr-xr-x | .ci/addrepo.sh | 9 |
1 files changed, 9 insertions, 0 deletions
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 |