echo 'RUN apt-get update && apt-get -q install -y wget devscripts equivs' >>Dockerfile
echo 'RUN wget -q -O - http://ftp.indexdata.dk/debian/indexdata.asc|apt-key add -' >>Dockerfile
echo "RUN echo \"deb http://ftp.indexdata.dk/$TYPE $dist main\" >/etc/apt/sources.list.d/indexdata.list" >>Dockerfile
docker build -t indexdata-build-$TYPE:$dist .
echo -n "$TYPE $dist "
echo 'RUN apt-get update && apt-get -q install -y wget devscripts equivs' >>Dockerfile
echo 'RUN wget -q -O - http://ftp.indexdata.dk/debian/indexdata.asc|apt-key add -' >>Dockerfile
echo "RUN echo \"deb http://ftp.indexdata.dk/$TYPE $dist main\" >/etc/apt/sources.list.d/indexdata.list" >>Dockerfile
docker build -t indexdata-build-$TYPE:$dist .
echo -n "$TYPE $dist "