diff --git a/docker-build-ubuntu.sh b/docker-build-debian.sh similarity index 98% rename from docker-build-ubuntu.sh rename to docker-build-debian.sh index aa7f98b..71d797b 100755 --- a/docker-build-ubuntu.sh +++ b/docker-build-debian.sh @@ -6,7 +6,7 @@ OUTPUT_DIR=$PWD SOURCE_DIR=$(readlink -f $(dirname ${BASH_SOURCE[0]})) -docker run --rm -i -v $SOURCE_DIR:/laminar:ro -v $OUTPUT_DIR:/output ubuntu bash -xe <