Rename build deb script for Docker

[git-tools-moved-to-github.git] / id-deb-build / docker-build.sh

diff --git a/id-deb-build/docker-build.sh b/id-deb-build/docker-build.sh
index c8bde88..bcacb66 100755 (executable)
--- a/id-deb-build/docker-build.sh
+++ b/id-deb-build/docker-build.sh
@@ -39,7 +39,7 @@ prepare_deb()
        test -f build/$TYPE/$dist && sudo rm -fr build/$TYPE/$dist
        mkdir -p build/$TYPE
        cp -a deb-src build/$TYPE/$dist
-       cp ${ID_DEB_BUILD}/in-docker.sh build/$TYPE/$dist
+       cp ${ID_DEB_BUILD}/in-docker-deb.sh build/$TYPE/$dist
     done
 }
 
@@ -51,12 +51,13 @@ run_deb()
     for dist in ${DISTS}; do
        cd build/$TYPE/$dist
        echo "FROM $TYPE:$dist" >Dockerfile
+       echo "ENV DEBIAN_FRONTEND noninteractive" >>Dockerfile
        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 "
-       docker run --rm  -v "$PWD:/build" -w /build/$PRODUCT-$VERSION indexdata-build-$TYPE:$dist ../in-docker.sh >log 2>&1
+       docker run --rm  -v "$PWD:/build" -w /build/$PRODUCT-$VERSION indexdata-build-$TYPE:$dist ../in-docker-deb.sh >log 2>&1
        if test $? -eq 0; then
                echo Done
        else