mirror of
https://github.com/LIV2/ise-docker.git
synced 2025-12-06 06:52:44 +00:00
27 lines
792 B
Bash
Executable File
27 lines
792 B
Bash
Executable File
#!/bin/bash
|
|
|
|
set -e
|
|
|
|
cd $(dirname $0)
|
|
|
|
DOCKER_TARGET=docker.i74.de:5000
|
|
IMAGE_NAME=xilinx-ise
|
|
IMAGE_TAG=14.7
|
|
|
|
# start small webserver to hold install files
|
|
cd xilinx-installer
|
|
python3 -m http.server 8765 --bind 127.0.0.1 >/dev/null 2>&1 &
|
|
HTTP_SERVER_PID=$!
|
|
trap "echo 'stopping $HTTP_SERVER_PID' ; if [ $HTTP_SERVER_PID ] ; then kill $HTTP_SERVER_PID ; fi" SIGINT SIGTERM EXIT
|
|
cd ..
|
|
|
|
docker build --network host --rm -t ${DOCKER_TARGET}/${IMAGE_NAME}:${IMAGE_TAG} .
|
|
docker tag ${DOCKER_TARGET}/${IMAGE_NAME}:${IMAGE_TAG} ${DOCKER_TARGET}/${IMAGE_NAME}:latest
|
|
|
|
read -n1 -p "Do you want to push the image to the registry now [yN]? " answer
|
|
if [[ "${answer:-n}" == "y" ]]
|
|
then
|
|
docker push ${DOCKER_TARGET}/${IMAGE_NAME}:${IMAGE_TAG}
|
|
docker push ${DOCKER_TARGET}/${IMAGE_NAME}:latest
|
|
fi
|