diff options
| -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 |