.ci/addrepo.sh


1
2
3
4
5
6
7
8
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